This file is indexed.

prerm is in jetty8 8.1.19-1.

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
#!/bin/sh
set -e

case "$1" in
    remove)
        # Remove auth for jetty to open privileged ports via authbind.
        JETTY_USER="jetty"
        JETTY_UID="`id -u $JETTY_USER`"
        if [ -f "/etc/authbind/byuid/$JETTY_UID" ]; then
                rm -f /etc/authbind/byuid/$JETTY_UID
        fi

        # Remove the default page
        if cmp --silent /var/lib/jetty8/webapps/root/index.html /usr/share/jetty8/default-root/index.html
        then
                rm /var/lib/jetty8/webapps/root/index.html
        fi
        if cmp --silent /var/lib/jetty8/webapps/root/jetty_banner.gif /usr/share/jetty8/default-root/jetty_banner.gif
        then
                rm /var/lib/jetty8/webapps/root/jetty_banner.gif
        fi
    ;;
esac

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