<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_9j3cuomcd5s3162na0qemeirb1, 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 />
sS hSilentComputator() {
  ret hSilentComputator(hSilentComputator_defaultURI());
}

sS hSilentComputator(S wsUri) {
  ret hSilentComputator(swUri, "");
}

sS hSilentComputator(S wsUri, S flag) {
  if (nempty(flag)) wsUri = addSlash(wsURI) + flag;
  
  ret div("Calculating", id := 'calcing)
  + hcss([[#calcing {
position: fixed;
width: 100%;
height: 100vh;
z-index: 9999;
visibility: hidden;
}]])
    + hMakeComputerID()
    + hreconnectingWebSockets()
    + hjavascript([[
      function sendPing() {
        ${PINGCMD}
      }
      
      var working = false;
      var benchResultl;
      var ws = new ReconnectingWebSocket("${URI}");
      ws.onopen = function(event) {
        console.log("WebSocket opened.");
      };
      ws.onmessage = function(event) {
        var d = event.data;
        while (d.length > 0 && d.charCodeAt(d.length-1) == 0)
          d = d.substring(0, d.length-1);
        console.log("Evaluating: " + d);
        var geval = eval; // use global scope
        geval(d);
        console.log("Evaluated.");
      };
      
      //working = true; // XXX
      //console.log("Eval test: " + eval('working'));
  ]].replace("${URI}", wsUri)
    .replace("${PINGCMD}", nodes_pingCmd()));
}