jetty.project/jetty-distribution
Greg Wilkins bf60197490 Fixes #1226
Moved jetty.sh to jetty-home
relocated JETTY_RUN to be a jetty directory in /var/run etc.
moved start.log to be in JETTY_RUN
2017-01-10 17:10:27 +11:00
..
src/main Fixes #1226 2017-01-10 17:10:27 +11:00
pom.xml Fixes #1226 2017-01-10 17:10:27 +11:00