From bc403272d867f82edd623179d82c080e57154c1a Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Tue, 16 Feb 2021 09:01:25 +0100 Subject: CrossingScenario case study is ready for server --- .../mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java') diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java index eb63d96a..cecd3623 100644 --- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java +++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericDrealProblemSolver.java @@ -44,7 +44,7 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ private final int TIMEOUT_DOCKER = 5000; private int TIMEOUT_LOCAL = -1; - private final int DEBUG_PRINT = 2; + private final int DEBUG_PRINT = 0; public NumericDrealProblemSolver(boolean useDocker, String drealLocalPath, int drealTimeout) throws IOException, InterruptedException { this.useDocker = useDocker; @@ -72,6 +72,7 @@ public class NumericDrealProblemSolver extends NumericProblemSolver{ private Process runProcess(List cmd, int timeout) throws IOException, InterruptedException { // String s = String.join(" ", cmd); // Process p = Runtime.getRuntime().exec(s); + Runtime.getRuntime().exec("killall -9 dreal").waitFor(); Process p = (new ProcessBuilder(cmd)).start(); // p.waitFor(); //TODO timeout if needed -- cgit v1.2.3-70-g09d2