[web] fix os.rename usage on windows when destination exists os.rename on windows will raise OSError (or WindowsError subclass) when if destination file already exists. Also check that exception is EEXIST. There is an attempt to fix in f6ba947c but using IOError instead of OSError. Closes #14214794

     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