2015-09-27 18:01:47 +03:00
|
|
|
# ==== Usage ====
|
|
|
|
|
#
|
2020-08-20 15:32:35 +03:00
|
|
|
# [--let $shutdown_timeout= 60]
|
2015-09-27 18:01:47 +03:00
|
|
|
# [--let $allow_rpl_inited= 1]
|
|
|
|
|
# --source include/restart_mysqld.inc
|
2008-04-09 09:43:20 +02:00
|
|
|
|
2014-12-01 15:35:01 +01:00
|
|
|
--source include/not_embedded.inc
|
2008-04-09 09:43:20 +02:00
|
|
|
|
2017-08-11 18:21:53 +02:00
|
|
|
--source include/shutdown_mysqld.inc
|
|
|
|
|
--source include/start_mysqld.inc
|
2021-05-26 22:07:20 +03:00
|
|
|
|
|
|
|
|
# The following sleep is required to give sleep_until_file_created() time
|
|
|
|
|
# to notice that the server was restarted. sleep_until_file_created() would
|
|
|
|
|
# fail if the server was restarted or killed at once after restart.
|
|
|
|
|
--sleep 0.1
|
