about summary refs log tree commit diff
path: root/website/sandbox/nut-score/watcher.js
diff options
context:
space:
mode:
Diffstat (limited to 'website/sandbox/nut-score/watcher.js')
-rw-r--r--website/sandbox/nut-score/watcher.js39
1 files changed, 0 insertions, 39 deletions
diff --git a/website/sandbox/nut-score/watcher.js b/website/sandbox/nut-score/watcher.js
deleted file mode 100644
index 26fcd46c4f..0000000000
--- a/website/sandbox/nut-score/watcher.js
+++ /dev/null
@@ -1,39 +0,0 @@
-// This is our simple, robust watcher. It hooks into the BuckleScript build
-// system to listen for build events.
-// See package.json's `start` script and `./node_modules/.bin/bsb --help`
-
-// Btw, if you change this file and reload the page, your browser cache
-// _might_ not pick up the new version. If you're in Chrome, do Force Reload.
-
-var websocketReloader;
-var LAST_SUCCESS_BUILD_STAMP = localStorage.getItem('LAST_SUCCESS_BUILD_STAMP') || 0;
-// package.json's `start` script's `bsb -ws _` means it'll pipe build events
-// through a websocket connection to a default port of 9999. This is
-// configurable, e.g. `-ws 5000`
-var webSocketPort = 9999;
-
-function setUpWebSocket() {
-  if (websocketReloader == null || websocketReloader.readyState !== 1) {
-    try {
-      websocketReloader = new WebSocket(`ws://${window.location.hostname}:${webSocketPort}`);
-      websocketReloader.onmessage = (message) => {
-        var newData = JSON.parse(message.data).LAST_SUCCESS_BUILD_STAMP;
-        if (newData > LAST_SUCCESS_BUILD_STAMP) {
-          LAST_SUCCESS_BUILD_STAMP = newData;
-          localStorage.setItem('LAST_SUCCESS_BUILD_STAMP', LAST_SUCCESS_BUILD_STAMP);
-          // Refresh the page! This will naturally re-run everything,
-          // including our moduleserve which will re-resolve all the modules.
-          // No stable build!
-          location.reload(true);
-        }
-
-      }
-    } catch (exn) {
-      console.error("The watcher tried to connect to web socket, but failed. Here's the message:");
-      console.error(exn);
-    }
-  }
-};
-
-setUpWebSocket();
-setInterval(setUpWebSocket, 2000);