[server/session] add a login property session.login is a DBAPISession attribute. Having it on server side session will helps the rework of the API to access repository. The new schema drop the concept of DBAPISession and use server side session for the same purpose. related to #2503918

#! /bin/sh -e
#

if [ "$1" = remove -o "$1" = upgrade ]; then
  if which install-docs >/dev/null 2>&1; then
    install-docs -r cubicweb-doc
  fi
fi

#DEBHELPER#

exit 0