File: tomcat5-admin.prerm

package info (click to toggle)
tomcat5 5.0.30-12etch1
  • links: PTS
  • area: main
  • in suites: etch
  • size: 22,860 kB
  • ctags: 26,367
  • sloc: java: 152,968; xml: 42,830; ansic: 33,715; jsp: 7,193; perl: 2,289; sh: 1,081; makefile: 551; awk: 59
file content (24 lines) | stat: -rw-r--r-- 471 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
#!/bin/sh -e

#DEBHELPER#

case "$1" in
    upgrade|failed-upgrade)
        # Nothing to do here
    ;;

    deconfigure|remove)
	# Remove the webapp if this is not an upgrade
	if [ -x /etc/init.d/tomcat5 ]; then
	    # Only restart tomcat if it is already running
	    if invoke-rc.d tomcat5 status >/dev/null; then
		invoke-rc.d tomcat5 force-reload || true
	    fi
	fi
    ;;

    *)
        echo "$0 called with unknown argument \`$1'" >&2
        exit 1
    ;;
esac