mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 03:52:35 +01:00
6711540518
it broke tests on Windows. Use SEARCH_ABORT instead. also, remove redundant features and simplify
55 lines
1.1 KiB
PHP
55 lines
1.1 KiB
PHP
# ==== Purpose ====
|
|
#
|
|
# Waits until pattern comes into log file or until a timeout is reached.
|
|
# This is a timeout wrapper for search_pattern_in_file.inc
|
|
#
|
|
#
|
|
# ==== Usage ====
|
|
#
|
|
# [--let $timeout= NUMBER in seconds]
|
|
# For other parameters, check search_pattern_in_file.inc
|
|
|
|
--let $wait_save_keep_include_silent=$keep_include_silent
|
|
--let $include_filename= wait_for_pattern_in_file.inc
|
|
--source include/begin_include_file.inc
|
|
--let $keep_include_silent= 1
|
|
|
|
let $_timeout= $timeout;
|
|
if (!$_timeout)
|
|
{
|
|
let $_timeout= 10;
|
|
if ($VALGRIND_TEST)
|
|
{
|
|
let $_timeout= 30;
|
|
}
|
|
}
|
|
|
|
let $_timeout_counter=`SELECT $_timeout * 10`;
|
|
let SEARCH_ABORT=NOT FOUND;
|
|
let $_continue= 1;
|
|
disable_abort_on_error;
|
|
while ($_continue)
|
|
{
|
|
source include/search_pattern_in_file.inc;
|
|
if (!$errno)
|
|
{
|
|
# Found match
|
|
let $_continue= 0;
|
|
}
|
|
if ($errno)
|
|
{
|
|
dec $_timeout_counter;
|
|
if ($_timeout_counter == 1)
|
|
{
|
|
enable_abort_on_error;
|
|
}
|
|
if (!$_timeout_counter)
|
|
{
|
|
let $_continue= 0;
|
|
}
|
|
}
|
|
}
|
|
enable_abort_on_error;
|
|
|
|
--source include/end_include_file.inc
|
|
--let $keep_include_silent=$wait_save_keep_include_silent
|