[debian-mysql] Bug#609537:

[Otto Kekäläinen]

Hello!

In MariaDB the script has a section that waits for a long time so that
even the biggest and busiests databases will have enough time to shut
down:

      for i in `seq 1 600`; do
        sleep 1
        if mysqld_status check_dead nowarn; then server_down=1; break; fi
      done
      if test -z "$server_down"; then killall -9 mysqld; fi

See in context at
http://anonscm.debian.org/cgit/pkg-mysql/mariadb-10.0.git/tree/debian/mariadb-server-10.0.mysql.init#n146

This solution could easily be copied to mysql too, do you want me to
git push it?