diff options
author | Melissa Zhang <mzhang19096@gmail.com> | 2020-05-23 21:06:22 -0700 |
---|---|---|
committer | Melissa Zhang <mzhang19096@gmail.com> | 2020-05-23 21:06:22 -0700 |
commit | 831de1c2853c427d2918e1cda6a296ae6d30c700 (patch) | |
tree | 15c6c8d052d9beb965d4265eb238f0eed1f88026 /src/debug/Repl.tsx | |
parent | da705df20b9b2d44c6aa76050bb59a0bb669f0db (diff) | |
parent | 19ababdb6098ac36358c86e43ad63ab3066b4663 (diff) |
pull from master
Diffstat (limited to 'src/debug/Repl.tsx')
-rw-r--r-- | src/debug/Repl.tsx | 3 |
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 |