From 934ea33f48c07d8cf3650ef94360989b3f8105c5 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Fri, 8 Feb 2019 08:42:51 +0100
Subject: [PATCH] set polling interval to 10s
---
.../src/main/java/de/tudresden/inf/st/mquat/eris/Main.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 7f95ba1..780e06b 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();
}
--
GitLab