mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
4 lines
175 B
PHP
4 lines
175 B
PHP
if (`select count(*) = 0 from information_schema.session_variables where variable_name = 'debug_sync' and variable_value like 'on %'`)
|
|
{
|
|
skip debug_sync is not available;
|
|
}
|