[repository sources] copy source configuration: source's __init__ modify it while config.sources() return a cached dictionary which shouldn't be modified This causes pb since f8aa87a773b2 (though it's unclear why it hasn't been a problem before). Closes #2521848

#! /bin/sh -e
 
case "$1" in
    remove)
	if [ -x "/etc/init.d/cubicweb-ctl" ]; then
	    invoke-rc.d cubicweb-ctl stop || true
	fi
    ;;
esac
 
#DEBHELPER#
 
exit 0