Skip to content

Instantly share code, notes, and snippets.

View gering's full-sized avatar

Robert Gering gering

View GitHub Profile
@peterc
peterc / jetty
Created May 18, 2010 05:39
/etc/init.d/jetty
#!/usr/bin/env bash
#
# Startup script for jetty under *nix systems (it works under NT/cygwin too).
# To get the service to restart correctly on reboot, uncomment below (3 lines):
# ========================
# chkconfig: 3 99 99
# description: Jetty 7 webserver
# processname: jetty
# ========================