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 7f95ba1fefe706e7e00567b13eae83e82addd29b..780e06b4b5550e0305ca26e7cb3aaae342c15bca 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 @@ -20,7 +20,7 @@ public class Main { if (continuous) { Timer timer = new Timer(); logger.info("Running MQuAT"); - timer.schedule(new ErisTask(), 0, 5000); + timer.schedule(new ErisTask(), 0, 10000); } else { new ErisTask().run(); }