debian/cubicweb-server.prerm
author Christophe de Vienne <christophe@unlish.com>
Sat, 03 Jan 2015 04:06:06 +0100
changeset 10141 62e1f9749d3a
parent 0 b97547f5f1fa
permissions -rw-r--r--
[entities] Optimize CWUser.properties. This property gets called each time a user connects to a repository, which means a lot. This optimisation cuts its execution time by 5 according to my tests

#! /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