This file is indexed.

postrm is in jetty 6.1.26-1ubuntu1.

This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.

The actual contents of the file can be viewed below.

 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
40
41
42
43
44
45
46
47
48
49
50
51
#!/bin/sh
set -e

# Automatically added by dh_installinit
if [ "$1" = "purge" ] ; then
	update-rc.d jetty remove >/dev/null
fi
# End automatically added section


# Remove cached files
rm -rf /var/cache/jetty/*

case "$1" in
    remove)
        # Remove ROOT webapp if not modified
        RWLOC="/var/lib/jetty/webapps/root"
        RWFILES="$RWLOC/index.html $RWLOC/jetty_banner.gif"
        if [ "`(cat $RWFILES | md5sum -) 2>/dev/null | cut -d ' ' -f 1`" \
                            = "12471c4b3020defb7ebd30ef84c0f9dd" ] ; then
            rm $RWFILES
            rmdir --ignore-fail-on-non-empty \
                /var/lib/jetty/webapps/root \
                /var/lib/jetty/webapps \
                /var/lib/jetty || true
        fi
        if [ -d "/var/cache/jetty" ] ; then
            rm -rf /var/cache/jetty
        fi
    ;;

    purge)
        # Remove user/group and log files (don't remove everything under
        # /var/lib/jetty because there might be user-installed webapps)
        deluser jetty || true
        rm -rf /var/log/jetty
        if [ -d "/var/lib/jetty" ] ; then
            rmdir --ignore-fail-on-non-empty /var/lib/jetty || true
        fi
        rmdir --ignore-fail-on-non-empty /etc/jetty/contexts /etc/jetty || 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