mirror of
https://github.com/MariaDB/server.git
synced 2025-04-26 11:49:09 +03:00
ca7046dc19
Create minidump when server fails to shutdown. If process is being debugged, cause a debug break. Moves some code which is part of safe_kill into mysys, as both safe_kill, and mysqltest produce minidumps on different timeouts. Small cleanup in wait_until_dead() - replace inefficient loop with a single wait.