if (p.isFinished()) {
sshell.endProcess(p.getID());
} else {
Executable e = p.getExecutable();
if (e != null) {
e.sendMessage("KILL");
}
}
procmap.remove(p.getID());
//log.debug("***\n***[doGC] Process timed out. (" + proc_tout + ") Removed process " + p.getID() + "\n***");
log.debug("Process timed out. (" + proc_tout + ") Removed process " + p.getID());