!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;
  }
}