static void interruptThread(Thread t) {
  if (t == null) ret;
  t.interrupt();
  URLConnection c = cast vm_generalSubMap("URLConnection per thread").get(t);
  if (c != null) pcall {
    print("Closing URLConnection of interrupted thread.");
    call(c, 'disconnect);
  }
}