Outline for running IdPv3 with Jetty

[Tom Zeller]

I do not have everything checked in, but here is what I have so far
for running IdPv3 with Jetty :

1. Download jetty-distribution-X.tar.gz
2. Download idp-jetty-base-Y.tar.gz
3. Download idp-distribution-Z.tar.gz

4. Unpack all three as peers :

/opt/shibboleth-idp/idp-distribution-Z
/opt/shibboleth-idp/idp-jetty-base-Y
/opt/shibboleth-idp/jetty-distribution-X

5. Change directory to idp-jetty-base-Y

6. Run :

 java -Didp.home=/opt/shibboleth-idp/idp-distribution-Z \
  -jar /opt/shibboleth-idp/jetty-distribution-X/start.jar \
  /opt/shibboleth-idp/idp-distribution-Z/conf/idp.properties

The idp-distribution module consists of idp-conf resources plus the
war from idp-war. The idp-jetty-base module contains modifications to
the Jetty distribution which will be mostly independent of Jetty
upgrades.

In general, does this seem ok ?