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
34
35
36
37
38
39
|
#!/bin/sh
set -e
#DEBHELPER#
# Remove cached files
rm -rf /var/cache/jetty12/*
case "$1" in
remove)
rmdir --ignore-fail-on-non-empty \
/var/lib/jetty12/webapps/root \
/var/lib/jetty12/webapps \
/var/lib/jetty12 || true
if [ -d "/var/cache/jetty12" ] ; then
rm -rf /var/cache/jetty12
fi
;;
purge)
# Remove log files (don't remove everything under /var/lib/jetty
# because there might be user-installed webapps)
rm -rf /var/log/jetty12
if [ -d "/var/lib/jetty12" ] ; then
rmdir --ignore-fail-on-non-empty /var/lib/jetty12 || true
fi
rmdir --ignore-fail-on-non-empty /etc/jetty12/start.d /etc/jetty12 || true
;;
remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear)
# Nothing to do here
;;
*)
echo "$0 called with unknown argument \`$1'" >&2
exit 1
;;
esac
|
