<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_ios59u7n992oqb6fu22se3712f, 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 />
!7

static int timeout = 10000;

p {
  while licensed {
    long time = now();
    bool ok = pingServer();
    time = now()-time;
    print("Ping to tinybrain.de OK: " + ok + ", time: " + time + " ms");
    setConsoleTitle((ok ? time + " ms" : "NO PING") + " - tinybrain.de");
    sleepSeconds(1);
  }
}

sbool pingServer() {
  try {
    ret isInteger(trim(loadPageSilentlyWithTimeout("http://tinybrain.de:8080/tb/all-computers.php?justthenumber=1", timeout)));
  } catch e {
    print(exceptionToStringShort(e));
    ret false;
  }
}