diff options
author | Tyler Schicke <tyler_schicke@brown.edu> | 2019-07-14 18:49:42 -0400 |
---|---|---|
committer | Tyler Schicke <tyler_schicke@brown.edu> | 2019-07-14 18:49:42 -0400 |
commit | e302a00b20ae0f44393548c7da27af60fd56c92b (patch) | |
tree | 7cd312178aac5fa79dfcd64590430fa33ce8f56d /src/debug/Repl.tsx | |
parent | 7d9e29690956327d1ed9981cd2882d08b72b5c86 (diff) |
Added whosOnline route to server
Diffstat (limited to 'src/debug/Repl.tsx')
-rw-r--r-- | src/debug/Repl.tsx | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/debug/Repl.tsx b/src/debug/Repl.tsx index 91b711c79..4f4db13d2 100644 --- a/src/debug/Repl.tsx +++ b/src/debug/Repl.tsx @@ -6,6 +6,7 @@ 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 { DocServer } from '../client/DocServer'; @observer class Repl extends React.Component { @@ -63,4 +64,7 @@ class Repl extends React.Component { } } -ReactDOM.render(<Repl />, document.getElementById("root"));
\ No newline at end of file +(async function () { + DocServer.init(window.location.protocol, window.location.hostname, 4321, "repl"); + ReactDOM.render(<Repl />, document.getElementById("root")); +})();
\ No newline at end of file |