Yes, the original change was in Ubuntu in a global effort to speed up shutdown (sending SIGTERM is slightly faster than spawning a shell script to do exactly the same) -- then it was proposed and accepted upstream.
If there is any difficult-to-solve corner case that could result in it taking 10 seconds to stop instead of being immediate, then I agree that the above change is not worth it. -- Thierry Carrez (ttx) Ubuntu core developer -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org