debian/cubicweb-server.postinst
author Sylvain Thénault <sylvain.thenault@logilab.fr>
Mon, 07 Feb 2011 15:13:04 +0100
changeset 6941 9ed02daa7dbb
parent 0 b97547f5f1fa
permissions -rw-r--r--
[repo, ms] optimise external source deletion by using source's eid instead of name

#! /bin/sh -e

if [ -x "/etc/init.d/cubicweb-ctl" ]; then
    invoke-rc.d cubicweb-ctl restart || true
fi
 
 
#DEBHELPER#
 
exit 0