[devtools] Put pg sockets in /tmp
Makes for shorter paths (limited by sockaddr_un). Also use the default port,
since we're not listening on TCP sockets.
#! /bin/sh -ecase "$1" in remove) if [ -x "/etc/init.d/cubicweb-ctl" ]; then invoke-rc.d cubicweb-ctl stop || true fi ;;esac#DEBHELPER#exit 0