Directory debian/ as released by upstream in version 5.0.9
[virtuoso-debian.git] / debian / virtuoso-opensource.prerm.debhelper
blob0c2fce58ee3d997d8550170e34b571a0860f3395
1 # Automatically added by dh_installinit
2 if [ -x "/etc/init.d/virtuoso-opensource" ]; then
3         if [ -x "`which invoke-rc.d 2>/dev/null`" ]; then
4                 invoke-rc.d virtuoso-opensource stop || exit $?
5         else
6                 /etc/init.d/virtuoso-opensource stop || exit $?
7         fi
8 fi
9 # End automatically added section