From 9a53cc7130bb7086fa64ee9b6c9b504a1eee3032 Mon Sep 17 00:00:00 2001
From: Igor Pashev <pashev.igor@gmail.com>
Date: Sun, 16 Oct 2016 22:51:42 +0300
Subject: jenkins: set java.io.tmpdir

jetty is used to spamming into tmpdir
---
 modules/apps/jenkins/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'modules/apps/jenkins')

diff --git a/modules/apps/jenkins/default.nix b/modules/apps/jenkins/default.nix
index 754186a..1af93f2 100644
--- a/modules/apps/jenkins/default.nix
+++ b/modules/apps/jenkins/default.nix
@@ -40,6 +40,7 @@ let
            else "--${n}=${toString v}";
 
       path = ".war.path";
+      tmpdir = "${cfg.home}/tmp";
 
       startJenkins = pkgs.writeBashScript "jenkins-${name}-start" ''
         set -euo pipefail
@@ -91,8 +92,11 @@ let
           echo '${cfg.war}' > ${path}
         fi
 
+        rm -rf -- '${tmpdir}'
+        mkdir -p -- '${tmpdir}'
         exec ${cfg.jre}/bin/java \
           -DJENKINS_HOME='${cfg.home}' \
+          -Djava.io.tmpdir='${tmpdir}' \
           -jar '${cfg.war}' \
           ${concatStringsSep " \\\n  " (
             mapAttrsToList mkOpt (explicit cfg.options))}
-- 
cgit v1.2.3