debian/cubicweb-server.prerm
branch3.24
changeset 11832 e8be49ecb522
parent 11831 d1fbe53885e9
child 11833 1212f0fa2d42
equal deleted inserted replaced
11831:d1fbe53885e9 11832:e8be49ecb522
     1 #! /bin/sh -e
       
     2  
       
     3 case "$1" in
       
     4     remove)
       
     5 	if [ -x "/etc/init.d/cubicweb-ctl" ]; then
       
     6 	    invoke-rc.d cubicweb-ctl stop || true
       
     7 	fi
       
     8     ;;
       
     9 esac
       
    10  
       
    11 #DEBHELPER#
       
    12  
       
    13 exit 0