diff --git a/src/Main.java b/src/Main.java index 28770e4fdaa3b7384dc9cb1bcc5cb30e317ec108..6519626782a69851e1d9a322dfaf8db74380fefc 100644 --- a/src/Main.java +++ b/src/Main.java @@ -133,13 +133,8 @@ public class Main { static String DefaultCGroupName = "syndrom"; - - public static void main(String[] myArgs) throws IOException { - - - if (isDebug) { System.out.println(Arrays.toString(myArgs)); } @@ -437,7 +432,6 @@ public class Main { } } - List<String> cmdToEx = transformCommandWithSpecialStrings(directoryFile, mainFile, mainFileNameWithExtension, executeTestCmd, timeoutInMs, memoryLimitInKb, diskLimitInKb, sourceFileExtensionsWithoutDot); @@ -452,7 +446,6 @@ public class Main { cmdToEx.addAll(_arguments); } - if (isDebug) { System.out.println(Arrays.toString(cmdToEx.toArray())); } @@ -695,6 +688,12 @@ public class Main { futureResult = -100; } + + //p.waitFor will NOT TERMINATE the process in any way... + //... so finally kill the process (if it's not already finished) + //else an infinitely loop would run forever + p.destroy(); + if (isDebug) { timer.end(); System.out.println("time for running process in ms :" + timer.getTotalTimeInMs());