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