mirror of
https://github.com/MariaDB/server.git
synced 2025-11-03 14:33:32 +03:00
5 lines
175 B
PHP
5 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;
|
|
}
|