aboutsummaryrefslogtreecommitdiff
path: root/src/debug/Repl.tsx
diff options
context:
space:
mode:
authorusodhi <61431818+usodhi@users.noreply.github.com>2020-05-24 10:40:21 +0530
committerusodhi <61431818+usodhi@users.noreply.github.com>2020-05-24 10:40:21 +0530
commit2d0086420282c8e09841a1ce556679627bd3d857 (patch)
tree7110c03d51783654bf5e8fe6f7d295ec683066d5 /src/debug/Repl.tsx
parent83d282a6b5e607e3c7dae4b5e5d37a8b458f81cc (diff)
parent19ababdb6098ac36358c86e43ad63ab3066b4663 (diff)
merge finished
Diffstat (limited to 'src/debug/Repl.tsx')
-rw-r--r--src/debug/Repl.tsx3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/debug/Repl.tsx b/src/debug/Repl.tsx
index d541c8009..be53c0b9b 100644
--- a/src/debug/Repl.tsx
+++ b/src/debug/Repl.tsx
@@ -7,6 +7,7 @@ import { makeInterface } from '../fields/Schema';
import { ObjectField } from '../fields/ObjectField';
import { RefField } from '../fields/RefField';
import { DocServer } from '../client/DocServer';
+import { resolvedPorts } from '../client/views/Main';
@observer
class Repl extends React.Component {
@@ -61,6 +62,6 @@ class Repl extends React.Component {
}
(async function () {
- DocServer.init(window.location.protocol, window.location.hostname, 4321, "repl");
+ DocServer.init(window.location.protocol, window.location.hostname, resolvedPorts.socket, "repl");
ReactDOM.render(<Repl />, document.getElementById("root"));
})(); \ No newline at end of file