diff -r 000000000000 -r b97547f5f1fa debian/cubicweb-server.postinst --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/debian/cubicweb-server.postinst Wed Nov 05 15:52:50 2008 +0100 @@ -0,0 +1,10 @@ +#! /bin/sh -e + +if [ -x "/etc/init.d/cubicweb-ctl" ]; then + invoke-rc.d cubicweb-ctl restart || true +fi + + +#DEBHELPER# + +exit 0