From f5e1058cbad1cfc7dee42708726cf36f3d5f7da4 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Tue, 12 Feb 2019 14:34:38 +0100
Subject: [PATCH] 10 sec pause between runs in stead of run every 10 secs
---
.../java/de/tudresden/inf/st/mquat/eris/Main.java | 14 +++++++++++---
1 file changed, 11 insertions(+), 3 deletions(-)
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 780e06b..8baf7e5 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();
}
--
GitLab