mirror of
https://github.com/MariaDB/server.git
synced 2025-01-15 19:42:28 +01:00
185591c1c0
The bug was in the test case. The problem was that maria_empty_logs.inc deleted aria log files before the server was properly shutdown. Fixed by waiting for pid file to disappear before starting to delete log files. Other things: - Fixed that translog_purge_at_flush() will not stop deleting files even if one file could not be deleted.
30 lines
472 B
PHP
30 lines
472 B
PHP
# Include this script after a shutdown to wait until the pid file,
|
|
# stored in $pid_file, has disappered.
|
|
|
|
#--echo $pid_file
|
|
|
|
--disable_result_log
|
|
--disable_query_log
|
|
# Wait one minute
|
|
let $counter= 600;
|
|
while ($counter)
|
|
{
|
|
--error 0,1
|
|
--file_exists $pid_file
|
|
if (!$errno)
|
|
{
|
|
dec $counter;
|
|
--real_sleep 0.1
|
|
}
|
|
if ($errno)
|
|
{
|
|
let $counter= 0;
|
|
}
|
|
}
|
|
if (!$errno)
|
|
{
|
|
--die Pid file "$pid_file" failed to disappear
|
|
}
|
|
|
|
--enable_query_log
|
|
--enable_result_log
|