make ui configurations selectable (closes #2406609) * introduce a new 'uicfg' registry (storing instances) * use the relevant new APIs from lgc.registry to manage the new registrable uicfg objects * cw event manager useage is gone; instead thze standard registry reloading mechanism is used * ensure i18n commands still work (devctl) * introduce dynamic uicfgs use whenever possible (various views), even though sometimes the classic 'static' usage remains

     1

#! /bin/sh -e

     2

     3

case "$1" in

     4

    remove)

     5

	if [ -x "/etc/init.d/cubicweb-ctl" ]; then

     6

	    invoke-rc.d cubicweb-ctl stop || true

     7

	fi

     8

    ;;

     9

esac

    10

    11

#DEBHELPER#

    12

    13

exit 0