diff options
Diffstat (limited to 'cli/rt/40_repl.js')
-rw-r--r-- | cli/rt/40_repl.js | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/cli/rt/40_repl.js b/cli/rt/40_repl.js index 4966c45be..8b05aa4c3 100644 --- a/cli/rt/40_repl.js +++ b/cli/rt/40_repl.js @@ -4,16 +4,15 @@ const core = window.Deno.core; const exit = window.__bootstrap.os.exit; const version = window.__bootstrap.version.version; - const dispatchJson = window.__bootstrap.dispatchJson; const close = window.__bootstrap.resources.close; const inspectArgs = window.__bootstrap.console.inspectArgs; function opStartRepl(historyFile) { - return dispatchJson.sendSync("op_repl_start", { historyFile }); + return core.jsonOpSync("op_repl_start", { historyFile }); } function opReadline(rid, prompt) { - return dispatchJson.sendAsync("op_repl_readline", { rid, prompt }); + return core.jsonOpAsync("op_repl_readline", { rid, prompt }); } function replLog(...args) { |