Old news to hard-core Jetty users, but I’ve only just discovered /bin/jetty.sh in the jetty-all distro. This neat little shell script lets you manage all sorts of Jetty goodness straight from the command line including start, stop, restart and check (jar paths, home dirs, etc).
I’ve previously been doing dodgy stuff with:
java -jar start.jar &
from the command line and have been...