[server/session] allow access to session id using sessionid session.sessionid 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

     1

#! /bin/sh -e

     2

#

     3

     4

if [ "$1" = configure ]; then

     5

  if which install-docs >/dev/null 2>&1; then

     6

    install-docs -i /usr/share/doc-base/cubicweb-doc

     7

  fi

     8

fi

     9

    10

    11

#DEBHELPER#

    12

    13

exit 0