tags 717488 patch thanks Here is a patch to describe my bug report.
Thanks.
diff -urN a/etc/init.d/halt b/etc/init.d/halt --- a/etc/init.d/halt 2012-10-15 19:30:41.000000000 +0200 +++ b/etc/init.d/halt 2013-07-21 20:03:17.840931573 +0200 @@ -33,7 +33,7 @@ fi # See if we need to cut the power. - if [ "$INIT_HALT" = "POWEROFF" ] && [ -x /etc/init.d/ups-monitor ] + if [ -x /etc/init.d/ups-monitor ] then /etc/init.d/ups-monitor poweroff fi