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 5043373d7e40b5ad9407808e8ed80774f4c5608a..3584dc021cafb4d5b0a35e4a378a6eea9c9ef751 100644 --- a/common/source/java/ch/systemsx/cisd/common/process/ProcessExecutionHelper.java +++ b/common/source/java/ch/systemsx/cisd/common/process/ProcessExecutionHelper.java @@ -44,7 +44,9 @@ import ch.systemsx.cisd.common.exceptions.StopException; * * @author Bernd Rinn */ -public class ProcessExecutionHelper +// TODO 2008-06-04, Christian Ribeaud: It should be possible to kill a process NOW, resetting the +// process timeout to 0 so that the killer thread can process as soon as possible. +public final class ProcessExecutionHelper { /**