aboutsummaryrefslogtreecommitdiff
path: root/src/debug/Repl.tsx
diff options
context:
space:
mode:
authorMelissa Zhang <mzhang19096@gmail.com>2020-05-23 21:06:22 -0700
committerMelissa Zhang <mzhang19096@gmail.com>2020-05-23 21:06:22 -0700
commit831de1c2853c427d2918e1cda6a296ae6d30c700 (patch)
tree15c6c8d052d9beb965d4265eb238f0eed1f88026 /src/debug/Repl.tsx
parentda705df20b9b2d44c6aa76050bb59a0bb669f0db (diff)
parent19ababdb6098ac36358c86e43ad63ab3066b4663 (diff)
pull from master
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