mirror of
				https://github.com/MariaDB/server.git
				synced 2025-10-31 19:06:14 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			3 lines
		
	
	
	
		
			166 B
		
	
	
	
		
			PHP
		
	
	
	
	
	
			
		
		
	
	
			3 lines
		
	
	
	
		
			166 B
		
	
	
	
		
			PHP
		
	
	
	
	
	
| if (`select count(*)=0 from information_schema.global_variables where variable_name = "debug_mutex_deadlock_detector"`) {
 | |
|   skip needs safemutex deadlock detector;
 | |
| }
 | 
