diff --git a/jastadd-mquat-eris/src/main/java/de/tudresden/inf/st/mquat/eris/Main.java b/jastadd-mquat-eris/src/main/java/de/tudresden/inf/st/mquat/eris/Main.java index 780e06b4b5550e0305ca26e7cb3aaae342c15bca..8baf7e5d154e3742effa7ea468255ac231699ec6 100644 --- a/jastadd-mquat-eris/src/main/java/de/tudresden/inf/st/mquat/eris/Main.java +++ b/jastadd-mquat-eris/src/main/java/de/tudresden/inf/st/mquat/eris/Main.java @@ -18,9 +18,17 @@ public class Main { } if (continuous) { - Timer timer = new Timer(); - logger.info("Running MQuAT"); - timer.schedule(new ErisTask(), 0, 10000); + while (true) { + try { + logger.info("Running MQuAT"); + new ErisTask().run(); + Thread.sleep(10000); + } catch (InterruptedException e) { + e.printStackTrace(); + } + } + + } else { new ErisTask().run(); }