<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_458lcd85t9hu178b1l416hmlec, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
// TODO: better logic that doesn't poll all the time
sclass JSSendMouseEventsToWebSocket {
  int interval = 100; // 0 for continuous
  bool verbose;
  
  S html() {
    ret hjs(js());
  }
  
  S js() {
    if (interval == 0) ret [[
      var mouseX = -1, mouseY = -1;
      
      function wsSendMouse() {
        if (wsReady) {
          var msg = JSON.stringify({"mouse": [mouseX, mouseY]});
          if (verbose) console.log(msg);
          ws.send(msg);
        }
      }
      
      $("body").mousemove(function(e) {
        mouseX = e.pageX;
        mouseY = e.pageY;
        wsSendMouse();
      });
    ]];
    
    ret replaceDollarVars([[
      var mouseInterval = $interval;
      var mouseX = -1, mouseY = -1;
      
      $("body").mousemove(function(e) {
        mouseX = e.pageX;
        mouseY = e.pageY;
      });
      
      function wsSendMouse() {
        if (wsReady)
          ws.send(JSON.stringify({"mouse": [mouseX, mouseY]}));
      }
      
      setTimeout(function sendMouse, mouseInterval);
    ]], mouseInterval := interval);
  }
}