]> git.pld-linux.org Git - packages/jenkins.git/commitdiff
- Do not overwrite web.xml file. Patch it.
authorpawelz <pawelz@pld-linux.org>
Tue, 7 Sep 2010 14:46:23 +0000 (14:46 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    webxml.patch -> 1.1

webxml.patch [new file with mode: 0644]

diff --git a/webxml.patch b/webxml.patch
new file mode 100644 (file)
index 0000000..f43d87d
--- /dev/null
@@ -0,0 +1,11 @@
+--- hudson-1.374/WEB-INF/web.xml~      2010-08-27 20:33:02.000000000 +0200
++++ hudson-1.374/WEB-INF/web.xml       2010-09-07 16:40:06.000000000 +0200
+@@ -142,7 +142,7 @@
+   <env-entry>
+     <env-entry-name>HUDSON_HOME</env-entry-name>
+     <env-entry-type>java.lang.String</env-entry-type>
+-    <env-entry-value></env-entry-value>
++      <env-entry-value>/var/lib/hudson</env-entry-value>
+   </env-entry>
+   <!-- configure additional extension-content-type mappings -->
This page took 0.0705 seconds and 4 git commands to generate.