debian/cubicweb-server.prerm
author Julien Cristau <julien.cristau@logilab.fr>
Wed, 29 Jan 2014 15:50:19 +0100
changeset 9496 e699fbcc9a61
parent 0 b97547f5f1fa
permissions -rw-r--r--
[server/repo] Use session.sessionid instead of session.id Silences deprecation warning.

#! /bin/sh -e
 
case "$1" in
    remove)
	if [ -x "/etc/init.d/cubicweb-ctl" ]; then
	    invoke-rc.d cubicweb-ctl stop || true
	fi
    ;;
esac
 
#DEBHELPER#
 
exit 0