debian/cubicweb-server.postinst
author Aurelien Campeas
Wed, 09 Sep 2009 17:46:30 +0200
branch3.5
changeset 3146 cfc4344023f2
parent 0 b97547f5f1fa
permissions -rw-r--r--
have a better make_uid function, esp. useful for win32 as collisions are frequents with the old one

#! /bin/sh -e

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