<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_si34cfoma313d4mi2bejunaohf, 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

p {
  S progID = #1009961;
  checkProgram(progID);
}

svoid checkProgram(S progID) {
  S newMD5 = getServerTranspilationMD5(progID);
  if (!isMD5(newMD5)) { print("No server transpilation"); ret; }

  L<DialogIO> l = talkToVMsRunningProgram(progID);
  for (DialogIO io : l) pcall { try {
    S s = io.ask("get injections");
    O injection = first((L) safeUnstructure(s));
    S md5 = getString(injection, 'srcMD5);
    print("MD5: " + md5);
    if (neq(md5, newMD5)) {
      print("Restarting!");
      io.ask("restart");
    }
  } finally {
    io.close();
  }}
}