mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
9 lines
278 B
PHP
9 lines
278 B
PHP
if (!$slow_environ_check)
|
|
{
|
|
let $_timeout_adjustment=;
|
|
if (`select $VALGRIND_TEST + count(*) from information_schema.system_variables where variable_name='have_sanitizer' and global_value like '%SAN%'`)
|
|
{
|
|
let $_timeout_adjustment=0;
|
|
}
|
|
let $slow_environ_check=1;
|
|
}
|