diff options
| author | Bob Zeleznik <zzzman@gmail.com> | 2020-06-08 22:26:42 -0400 |
|---|---|---|
| committer | Bob Zeleznik <zzzman@gmail.com> | 2020-06-08 22:26:42 -0400 |
| commit | 23d91c839bc7dd14fd906aa1b3c7b3cd16980dd4 (patch) | |
| tree | c5f181d92e5edad3c12f4500128bc5420eb6616d /src/debug | |
| parent | 01cc676b568c9d53757e1e4c8155672ecea95562 (diff) | |
| parent | c878c35dc06c6f0c653390d95d18feeaf2dfabd1 (diff) | |
Merge branch 'master' into RichTextEdition
Diffstat (limited to 'src/debug')
| -rw-r--r-- | src/debug/Repl.tsx | 3 | ||||
| -rw-r--r-- | src/debug/Viewer.tsx | 3 |
2 files changed, 4 insertions, 2 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 diff --git a/src/debug/Viewer.tsx b/src/debug/Viewer.tsx index ddddee3be..0ca067ed3 100644 --- a/src/debug/Viewer.tsx +++ b/src/debug/Viewer.tsx @@ -14,6 +14,7 @@ import { RichTextField } from '../fields/RichTextField'; import { DateField } from '../fields/DateField'; import { ScriptField } from '../fields/ScriptField'; import CursorField from '../fields/CursorField'; +import { resolvedPorts } from '../client/views/Main'; DateField; URLField; @@ -182,7 +183,7 @@ class Viewer extends React.Component { } (async function () { - await DocServer.init(window.location.protocol, window.location.hostname, 4321, "viewer"); + await DocServer.init(window.location.protocol, window.location.hostname, resolvedPorts.socket, "viewer"); ReactDOM.render(( <div style={{ position: "absolute", width: "100%", height: "100%" }}> <Viewer /> |