<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_nvag62u45rqaad62ipokbgv9d0, 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 double timeout = 60.0, delay = 30.0;
static int consecutiveFailsThreshold = 2;

sbool v6;
static int consecutiveFails;
static volatile S status;

p {
  bot("Stefan's OS Watch Dog.");
  printWithDateAndTimeInThisThread();
  repeat with sleep delay {
    bool ok = false;
    pcall {
      long time = sysNow();
      S s = sendOpt("Stefan's OS.", "swing latency");
      if (isInteger(s)) {
        ok = true;
        consecutiveFails = 0;
        print(status = "Stefan's OS OK - Swing latency " + s + " ms, " + (sysNow()-time) + " ms");
        v6 = isProgramRunning(#1016478);
      }
    }
    
    if (!ok) {
      ++consecutiveFails;
      print(status = "Stefan's OS fail #" + consecutiveFails + " of " + consecutiveFailsThreshold);
      pcall { osFailActivity(); }
    }
  }
}

svoid osFailActivity {
  if (consecutiveFails >= consecutiveFailsThreshold) {
    print("RESTARTING STEFAN'S OS.");
    consecutiveFails = 0;
    hardKillProgram(#1016005);
    hardKillProgram(#1016478);
    run(#1016478); // TODO
  }
}

answer {
  if "status" ret status;
}