Daemonizing Jetty?

[Tom Zeller]

> IDP_HOME=/app/shibboleth-idp
> JETTY_BASE=${IDP_HOME}/jetty-base
> JAVA_OPTIONS="-Didp.home=/app/shibboleth-idp -Xmx1024M -XX:+PrintGCDetails

I think there is one more ${IDP_HOME} replacement you can do :

 JAVA_OPTIONS="-Didp.home=${IDP_HOME} -Xmx1024M -XX:+PrintGCDetails