Update '12/pipeserver.js'

5 years ago · 8386f82fb5
parent af14c7d887
commit 8386f82fb5
1 changed files with 1 additions and 1 deletions
--- a/12/pipeserver.js
+++ b/12/pipeserver.js
@ -1,4 +1,4 @@
-var ws_addr = 'wss://'+window.location.host+"/12/pipe",
+var ws_addr = 'wss://'+window.location.host+"/12/pipe/",
    sock = null,
    shell = document.getElementById("shell"),
    authors = document.getElementById("authors"),