@ -1,4 +1,4 @@
var ws_addr = 'wss://'+window.location.host+"/sandbox/pipe",
var ws_addr = 'wss://'+window.location.host+"/12/pipe",
sock = null,
//shell = document.getElementById("shell"),
authors = document.getElementById("authors"),