sbool interruptThread_verbose;

svoid interruptThread(Thread t) {

  if (t == null) ret;

  if (interruptThread_verbose) print("Interrupting thread " + t);

  // note reason in global map

  vm_threadInterruptionReasonsMap().put(t, getStackTrace());

  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);

  }

}