// Kills the JVM process and any active threads on it.
private void kill() {
if (redirectErr != null) {
redirectErr.close();
redirectErr.interrupt();
}
if (redirectOut != null) {
redirectOut.close();
redirectOut.interrupt();
}
if (JVM != null) {
JVM.destroy();
JVM = null;
}
JVMrunning = false;
}
// Kills the JVM process and any active threads on it.
private void kill() {
if (redirectErr != null) {
redirectErr.close();
redirectErr.interrupt();
}
if (redirectOut != null) {
redirectOut.close();
redirectOut.interrupt();
}
if (JVM != null) {
JVM.destroy();
JVM = null;
}
JVMrunning = false;
println("JVM reset on " + java.util.Calendar.getInstance().getTime().toString(), progErr);
}