diff options
author | Martin <marcin.j.chrzanowski@gmail.com> | 2020-01-28 01:42:28 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-28 01:42:28 +0100 |
commit | bf239e90080de1ddab4e0d03619ba2c17dea53bb (patch) | |
tree | 522316ead8edef86287a402546702ebf14af0e6b /build.gradle | |
parent | df8beda9b8d688511ebcc4bf90c7219a83accdf0 (diff) | |
parent | 6a89fd8a83537535cd88f9a549bc42168e4d0e5b (diff) |
Merge pull request #133 from m-chrzan/to-set
To set
Diffstat (limited to 'build.gradle')
-rw-r--r-- | build.gradle | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build.gradle b/build.gradle index 143bae9..dcb27c7 100644 --- a/build.gradle +++ b/build.gradle @@ -163,6 +163,7 @@ task runInterpreter(type: JavaExec) { task runQuerySigner(type: JavaExec) { classpath = sourceSets.main.runtimeClasspath main = 'pl.edu.mimuw.cloudatlas.querysigner.QuerySigner' + systemProperty 'java.rmi.server.hostname', hostname() systemProperty 'query_signer_hostname', querySignerHostname() systemProperty 'public_key_file', publicKeyFilename() systemProperty 'private_key_file', privateKeyFilename() |