diff options
Diffstat (limited to 'debian/prerm')
-rw-r--r-- | debian/prerm | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/debian/prerm b/debian/prerm new file mode 100644 index 0000000..8c70071 --- /dev/null +++ b/debian/prerm @@ -0,0 +1,33 @@ +#!/bin/sh +set -e +OUT=/dev/null +HOME=/var/stackbin +SERVICE=stackbin + +case "$1" in + remove) + test -x /usr/sbin/invoke-rc.d && \ + INIT="invoke-rc.d ${SERVICE}" || \ + INIT="/etc/init.d/${SERVICE}" + ${INIT} stop + ;; + + purge) + rm -f ${HOME}/${SERVICE}-wsgi.pid 1>${OUT} 2>&1 || : + ;; + + upgrade|deconfigure) + ;; + + failed-upgrade) + ;; + + *) + echo "prerm called with unknown argument \`$1'" >&2 + exit 1 + ;; +esac + +#DEBHELPER# + +exit 0 |