[java-identity-provider COMMIT] /trunk/idp-distribution/src/main/resources/misc/etc/default/jetty

[noreply at shibboleth.net]

Author: tzeller
Date: Wed May 14 12:05:44 2014
New Revision: 5926

URL: http://svn.shibboleth.net/view/java-identity-provider?rev=5926&view=rev
Log:
Set IDP_HOME similarly to JETTY_HOME.

Modified:
    trunk/idp-distribution/src/main/resources/misc/etc/default/jetty

Modified: trunk/idp-distribution/src/main/resources/misc/etc/default/jetty
URL: http://svn.shibboleth.net/view/java-identity-provider/trunk/idp-distribution/src/main/resources/misc/etc/default/jetty?rev=5926&r1=5925&r2=5926&view=diff
==============================================================================
--- trunk/idp-distribution/src/main/resources/misc/etc/default/jetty (original)
+++ trunk/idp-distribution/src/main/resources/misc/etc/default/jetty Wed May 14 12:05:44 2014
@@ -3,12 +3,14 @@
 
 # TODO These paths will obviously change.
 
-JAVA_OPTIONS="-Didp.home=/opt/shibboleth-idpv3"
-
-JETTY_ARGS=/opt/shibboleth-idpv3/conf/idp.properties
-
-JETTY_BASE=/opt/shibboleth-idpv3/jetty-base
+IDP_HOME=/opt/shibboleth-idpv3/idp-distribution-3.0-SNAPSHOT
 
 JETTY_HOME=/opt/jetty/jetty-distribution-9.2.0-SNAPSHOT
 
+JAVA_OPTIONS="-Didp.home=$IDP_HOME"
+
+JETTY_ARGS=$IDP_HOME/conf/idp.properties
+
+JETTY_BASE=$IDP_HOME/jetty-base
+
 TMPDIR=/opt/jetty/temp