fix: use shell for index.html

nokome · nokome · commit a7689bf6864c · 2019-02-22T09:41:02.000+13:00
diff --git a/src/static/index.html b/src/static/index.html
@@ -30,7 +30,7 @@
       // Connect to server
       const protocol = (location.protocol === 'https:') ? 'wss://' : 'ws://';
       const port = location.port ? `:${location.port}` : '';
-      const socket = new WebSocket(`${protocol}${location.hostname}${port}/interact${window.location.search}`);
+      const socket = new WebSocket(`${protocol}${location.hostname}${port}/shell${window.location.search}`);
       socket.onopen = (ev) => { term.attach(socket); };
     </script>
   </body>
