debian/cubicweb-server.prerm
changeset 11841 48adf4dd1ce6
parent 11840 1eb3d6cd39c3
parent 11839 18e72d24dc58
child 11850 87443f279b0f
equal deleted inserted replaced
11840:1eb3d6cd39c3 11841:48adf4dd1ce6
     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