blob: 8c70071219aed326a2e183831a34f6d3208e7e6d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
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
|
