jetty.prerm

#!/bin/sh
set -e

# Automatically added by dh_installinit
if [ -x "/etc/init.d/jetty" ]; then
	invoke-rc.d jetty stop || exit $?
fi
# End automatically added section