- try {
- exit();
- } catch (ProcessKilled pk2) {
- /* Ignore that other exception that *will* occur all the time.
- * This is because the C mechanic gives the control to the now-killed process
- * so that it does some garbage collecting on its own. When it does so here,
- * the Java thread checks when starting if it's supposed to be killed (to inform
- * the C world). To avoid the infinite loop or anything similar, we ignore that
- * exception now. This should be ok since we ignore only a very specific exception
- * class and not a generic (such as any RuntimeException).
- */
- //System.err.println(currentThread().getName()+": I ignore that other exception");
- }
- //Msg.info(" Process " + ((Process) Thread.currentThread()).msgName() + " has been killed.");