Merge branch 'dev'

vaimee · Oct 15, 2018 · 29118fd · 29118fd
2 parents 8f4ceb3 + 0ba034a
commit 29118fd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/engine/src/main/java/it/unibo/arces/wot/sepa/engine/core/EngineProperties.java b/engine/src/main/java/it/unibo/arces/wot/sepa/engine/core/EngineProperties.java
@@ -124,6 +124,7 @@ protected void defaults() {
 		// Scheduler properties
 		JsonObject scheduler = new JsonObject();
 		scheduler.add("queueSize", new JsonPrimitive(100));
+		scheduler.add("timeout", new JsonPrimitive(5000));
 		parameters.add("scheduler", scheduler);
 
 		// Processor properties