two in one: #343320: Logging out while deleting a CWUser blocks the cw server / #342692: ensure transaction state when Ctrl-C or other stop signal is received
#! /bin/sh -e#if [ "$1" = remove -o "$1" = upgrade ]; then if which install-docs >/dev/null 2>&1; then install-docs -r cubicweb-doc fifi#DEBHELPER#exit 0