[debian-mysql] Bug#829489: Bug#829489: mariadb-server-10.0: Fails to stop, package can't be uninstalled/purged

[Otto Kekäläinen]

2016-07-03 23:07 GMT+03:00 Axel Beckert <abe at debian.org>:
> My only ideas so far:
>
> * Maybe a longer timeout to wait for the shutdown could help? (If
>   there's some kind of timeout at all.)
> * Maybe trying to stop it a second time after some short "sleep"?

Stopping is done by invoking the general init script from the postrm script:
http://anonscm.debian.org/cgit/pkg-mysql/mariadb-10.0.git/tree/debian/mariadb-server-10.0.postrm

The stop already has a 600 second loop:
http://anonscm.debian.org/cgit/pkg-mysql/mariadb-10.0.git/tree/debian/mariadb-server-10.0.mysql.init#n135

...but in this case the loop does not run, but the first stopping
throws an error code immediately.

I tried to grep parts of "[FAIL] Stopping MariaDB database server:
mysqld failed!" to find what emits it, but without success.