From e1515721eeae4f055a5c6f6a592574ab3c5e5d01 Mon Sep 17 00:00:00 2001
From: murtaugh <murtaugh@xpub.nl>
Date: Thu, 28 May 2020 11:29:25 +0200
Subject: [PATCH] tweaked URL of web socket connection for issue.xpub.nl

---
 12/pipeserver.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/12/pipeserver.js b/12/pipeserver.js
index 7c3eb4c..d7bd5a4 100644
--- a/12/pipeserver.js
+++ b/12/pipeserver.js
@@ -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"),