jetty.project/jetty-distribution
Simone Bordet 1f140548fa Updated to use a $NAME variable to create PID and state files,
correcting also locations where these are stored (in jetty.base rather
than jetty.home).
2013-11-07 23:46:55 +01:00
..
src/main Updated to use a $NAME variable to create PID and state files, 2013-11-07 23:46:55 +01:00
pom.xml cleaned up demo 2013-10-03 18:43:06 +10:00