diff options
Diffstat (limited to 'workbench_template.js')
-rw-r--r-- | workbench_template.js | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/workbench_template.js b/workbench_template.js new file mode 100644 index 0000000..e5ae48d --- /dev/null +++ b/workbench_template.js @@ -0,0 +1,25 @@ +var socket = (function(){ + var open = false + var start = function(){ + socket = new WebSocket("ws://<host>:<port>/") + socket.onopen = function(event){ + open = true + console.log("Host connection Opened") + } + socket.onmessage = function(event){ + var data = JSON.parse(event.data) + if (data[0] == "reload") { + console.log("Reloading page...") + location.reload(true) + } + if (data[0] == "print") console[data[1]](data[2]) + } + socket.onclose = function(event){ + if (open) console.log("Host connection Closed") + open = false + setTimeout(function(){start()}, 1000) + } + } + start() + return socket +})() |