diff options
| author | Martin <marcin.j.chrzanowski@gmail.com> | 2020-01-11 18:25:10 +0100 | 
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-11 18:25:10 +0100 | 
| commit | 0c94ea210579436f5a1723117f83ced974517b55 (patch) | |
| tree | 6af826662de612f5b91644845845630753dac856 /build.gradle | |
| parent | 2b8b0560346fe7e55c293550efb003d9bd25db98 (diff) | |
| parent | b4e25a3cb8a9c54cd1d4ec4cbe78dd44f2873eeb (diff) | |
Merge pull request #96 from m-chrzan/start-gossip-girl
Create repeating task for initiating gossip
Diffstat (limited to 'build.gradle')
| -rw-r--r-- | build.gradle | 10 | 
1 files changed, 10 insertions, 0 deletions
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()  |