mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
changing order of enum_shutdown_level (easier; we can test if we should die with
"if (thd->killed > thd->killable)", if we simply do thd->killed= level;
This commit is contained in:
parent
5777892b66
commit
7ef30b6984
2 changed files with 12 additions and 10 deletions
Loading…
Add table
Add a link
Reference in a new issue