From f4e8b8a24d3bb0a3bfb382c3b487e48817060ca1 Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com>
Date: Sat, 11 Jan 2020 18:08:33 +0100
Subject: Make query and gossip periods configurable

---
 build.gradle | 10 ++++++++++
 1 file changed, 10 insertions(+)

(limited to 'build.gradle')

diff --git a/build.gradle b/build.gradle
index e2174a7..66c50d1 100644
--- a/build.gradle
+++ b/build.gradle
@@ -22,6 +22,14 @@ ext.freshnessPeriod = {
     return System.getProperty("freshnessPeriod") ?: 60 * 1000
 }
 
+ext.queryPeriod = {
+    return System.getProperty("queryPeriod") ?: 5 * 1000
+}
+
+ext.gossipPeriod = {
+    return System.getProperty("gossipPeriod") ?: 5 * 1000
+}
+
 ext.UDUPHostname = {
     return System.getProperty("hostname") ?: "localhost"
 }
@@ -79,6 +87,8 @@ task runAgent(type: JavaExec) {
     main = 'pl.edu.mimuw.cloudatlas.agent.Agent'
     systemProperty 'java.rmi.server.hostname', hostname()
     systemProperty 'freshness_period', freshnessPeriod()
+    systemProperty 'query_period', queryPeriod()
+    systemProperty 'gossip_period', gossipPeriod()
     systemProperty 'UDUPServer.hostname', UDUPHostname()
     systemProperty 'UDUPServer.port', port()
     systemProperty 'UDUPServer.timeout', port()
-- 
cgit v1.2.3