/**
* FIXME still possibility of process finishing call() between the get and the kill() call...
*/
ScriptProcess toKill = runningProcesses.get(pid);
if(toKill == null) return;
toKill.kill();
}
@Override
public final void runWithLock(final UUID pid, Runnable r) {
locks.runWithLock(pid, r);