static void cancelThread(Thread t) {
  if (t == null) ret;
  ping();
  synchronized(mc()) {
    ping_actions.put(t, "cancelled");
    ping_anyActions = true;
  }
}