diff --git a/common/source/java/ch/systemsx/cisd/common/process/ProcessExecutionHelper.java b/common/source/java/ch/systemsx/cisd/common/process/ProcessExecutionHelper.java index 3584dc021cafb4d5b0a35e4a378a6eea9c9ef751..e301399d50896c0f2961bd555d9fcc2e0d55dee1 100644 --- a/common/source/java/ch/systemsx/cisd/common/process/ProcessExecutionHelper.java +++ b/common/source/java/ch/systemsx/cisd/common/process/ProcessExecutionHelper.java @@ -418,6 +418,8 @@ public final class ProcessExecutionHelper { final Future<ProcessResult> killerFuture = executor.submit(new ProcessKiller()); processResult = ConcurrencyUtilities.getResult(killerFuture, SHORT_TIMEOUT); + // If the process killer did not find anything to kill, then try to get the original + // process result. We could have had a raise condition here. if (processResult.tryGetResult() == null) { processResult =