<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_mp26o0njgv6r59ooh5mfodbr4q, 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 />
svoid cancelForeignThread(Thread t) {
  if (t == null) ret;
  O mc = getMainClass(t);
  if (mc == null) ret with print("Can't find main class for thread " + t);
  ping();
  Map ping_actions = cast get(mc, 'ping_actions);
  if (ping_actions == null) ret with print("No ping_actions");
  synchronized(ping_actions) {
    ping_actions.put(t, "cancelled");
    set(mc, ping_anyActions := true);
    print("Cancelled foreign thread: " + t);
  }
}

svoid cancelForeignThread(long threadID) {
  cancelForeignThread(getThreadByID(threadID));
}