diff options
author | Andy Rickert <andrew_rickert@brown.edu> | 2020-06-03 16:40:09 -0400 |
---|---|---|
committer | Andy Rickert <andrew_rickert@brown.edu> | 2020-06-03 16:40:09 -0400 |
commit | 954948ddd511578af4ca2c50c960765a5a7bc637 (patch) | |
tree | 16fafd254a5db95d5c39838d4313d7ddf59753af /src/debug/Repl.tsx | |
parent | 6d8d3c00587c43ae61392db4fe6915ee492c2e4a (diff) | |
parent | 9588e56079f7e4ab98da1849f44996656649bc06 (diff) |
merge
Diffstat (limited to 'src/debug/Repl.tsx')
-rw-r--r-- | src/debug/Repl.tsx | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/debug/Repl.tsx b/src/debug/Repl.tsx index fd6b47ff0..be53c0b9b 100644 --- a/src/debug/Repl.tsx +++ b/src/debug/Repl.tsx @@ -3,10 +3,11 @@ import * as ReactDOM from 'react-dom'; import { observer } from 'mobx-react'; import { observable, computed } from 'mobx'; import { CompileScript } from '../client/util/Scripting'; -import { makeInterface } from '../new_fields/Schema'; -import { ObjectField } from '../new_fields/ObjectField'; -import { RefField } from '../new_fields/RefField'; +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 |