mirror of
				https://github.com/MariaDB/server.git
				synced 2025-10-30 18:36:12 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			1 line
		
	
	
	
		
			71 B
		
	
	
	
		
			PHP
		
	
	
	
	
	
			
		
		
	
	
			1 line
		
	
	
	
		
			71 B
		
	
	
	
		
			PHP
		
	
	
	
	
	
| --eval SET GLOBAL wsrep_provider_options = 'signal=$galera_sync_point'
 | 
