database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-12-16 22:03:23 +03:00
Code Activity
Files
badf6de1715bbdddcaf8c1535747f94602aaa13f
mariadb/sql/debug_sync.cc
Sergei Golubchik d7d3ad698a debug_sync: ignore "sort" kills and disconnects 
only "hard" kills will now interrupt debug_sync waits.
this is needed to have debug_sync points that work during disconnect
2022-09-29 00:11:02 +02:00

49 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink