diff options
Diffstat (limited to 'msb2pilot2/static/js/reload.min.js')
| -rw-r--r-- | msb2pilot2/static/js/reload.min.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/msb2pilot2/static/js/reload.min.js b/msb2pilot2/static/js/reload.min.js new file mode 100644 index 0000000..e780033 --- /dev/null +++ b/msb2pilot2/static/js/reload.min.js @@ -0,0 +1 @@ +function b(a){var c=new WebSocket(a);c.onclose=function(){setTimeout(function(){b(a)},2E3)};c.onmessage=function(){location.reload()}}try{if(window.WebSocket)try{b("ws://localhost:12450/reload")}catch(a){console.error(a)}else console.log("Your browser does not support WebSockets.")}catch(a){console.error("Exception during connecting to Reload:",a)}; |