Mirrors
/
mariadb
mirror of https://github.com/MariaDB/server
3
0
Fork 0
Code Releases Activity
56540 Commits
3280 Branches
1097 Tags
1.2 GiB
Tree: da3c4375cf
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'da3c4375cf'
${ noResults }
Commit Graph

6 Commits (da3c4375cfe9530c04525ff6694e5f59f354c144)

Author SHA1 Message Date
He Zhenxing 2070da7092 BUG#40704 main.events_restart fails sporadically in pushbuild: "server has gone away"
17 years ago
Magnus Svensson cd0cd4e0a0 Make events_restart more stable by waiting for the server to be stopped before starting it again
18 years ago
unknown 857a6dc14c Rename "shutdown" -> "send_shutdown" and "kill_server" to "shutdown_server"
18 years ago
unknown 4638c78d35 Add "kill_server", call shutdown on current conneciton and then make sure
18 years ago
unknown 3c565a66b5 Set mysqladmin shutdown timeout to 60 seconds
18 years ago
unknown fb5ad5e75d Mereg events_restart_phase* to events_restart
18 years ago