mirror of
https://github.com/MariaDB/server.git
synced 2025-11-27 05:41:41 +03:00
Use include/kill_and_restart_mysqld.inc instead of triggering DBUG_SUICIDE() with debug instrumentation. In this way, more tests can be run with --valgrind or on non-debug servers.
3.1 KiB
3.1 KiB