diff options
author | Martin <marcin.j.chrzanowski@gmail.com> | 2020-01-06 13:30:37 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-06 13:30:37 +0100 |
commit | edd8c9d09b89a68a0d654dd6b08dc23a22d50293 (patch) | |
tree | 0ac7614ab80ca530f726bb83fa33fea76c9b5ab4 /build.gradle | |
parent | 69480d460a698a78b90d8d111f5fb4d761ffda81 (diff) | |
parent | 8a44299b0072a8bedd1c0d74f92d258379c8447a (diff) |
Merge pull request #85 from m-chrzan/staleness
Staleness
Diffstat (limited to 'build.gradle')
-rw-r--r-- | build.gradle | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/build.gradle b/build.gradle index 9ef400c..01e8685 100644 --- a/build.gradle +++ b/build.gradle @@ -18,6 +18,10 @@ ext.hostname = { return System.getProperty("hostname") ?: "localhost" } +ext.freshnessPeriod = { + return System.getProperty("freshnessPeriod") ?: 60 * 1000 +} + repositories { // Use jcenter for resolving dependencies. // You can declare any Maven/Ivy/file repository here. @@ -56,6 +60,7 @@ task runAgent(type: JavaExec) { classpath = sourceSets.main.runtimeClasspath main = 'pl.edu.mimuw.cloudatlas.agent.Agent' systemProperty 'java.rmi.server.hostname', hostname() + systemProperty 'freshness_period', freshnessPeriod() } task runClient(type: JavaExec) { |