[repository api] definitly kill usage of word 'pool' to refer to connections set used by a session Also document session's data storage and some other internals. Hopefuly things will get clearer. Closes #1684860: vocabulary confusion in repository code: notion of 'pool'

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