diff -r 6e82fece1f8f -r 14322825cb3d www/js/global.js
--- a/www/js/global.js	Tue May 12 16:08:30 2020 +0200
+++ b/www/js/global.js	Thu May 14 14:38:20 2020 +0200
@@ -750,6 +750,28 @@
 },
 mashlist = new $.jqx.dataAdapter(mashProfileSource);
 
+/* Websocket interface. Place "websocket.onmessage = function(evt) {}" in the user script. */
+var websocket = new WebSocket('ws://'+location.hostname+'/ws');
+
+websocket.onopen = function(evt) {
+ console.log('WebSocket connection opened');
+ $('#wsstatus').html('WebSocket open');
+}
+
+websocket.onclose = function(evt) {
+ console.log('Websocket connection closed');
+ $('#wsstatus').html('WebSocket closed');
+}
+
+websocket.onerror = function(event) {
+ console.log('Websocket error: ' + event.data);
+ $('#wsstatus').html('WebSocket error: ' + event.data);
+}
+
+/* Handle global menu manipulation called by the user script. */
+function ws_global(msg) {
+
+}
 
 
 $(document).ready(function() {
@@ -762,38 +784,6 @@
   theme: theme
  });
  $('#jqxWidget').css('visibility', 'visible');
-
- var websocket = new WebSocket('ws://'+location.hostname+'/ws');
-
- websocket.onopen = function(evt) {
-  console.log('WebSocket connection opened');
-  document.getElementById("wsstatus").innerHTML = "";
- }
-
- websocket.onmessage = function(evt) {
-    var msg = evt.data;
-    var value;
-
-  console.log('ws got: ' + msg);
-//    switch (msg.charAt(0)) {
-//        case '{':
-//                BrewBoard.p_msg(evt.data);
-//                break;
-//        default:
-//                document.getElementById("output").innerHTML = evt.data;
-//                break;
-//    }
- }
-
- websocket.onclose = function(evt) {
-  console.log('Websocket connection closed');
-//  $('#wsstatus').html('WebSocket closed');
- }
-
- websocket.onerror = function(event) {
-  console.log('Websocket error: ' + event.data);
-  $('#wsstatus').html('WebSocket error: ' + event.data);
- }
 });