mirror of
				https://github.com/MariaDB/server.git
				synced 2025-11-03 14:33:32 +03:00 
			
		
		
		
	Remove unneeded select to provider name. Provider can have different names and can be located on different directory on different environments.
		
			
				
	
	
		
			12 lines
		
	
	
		
			278 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
			
		
		
	
	
			12 lines
		
	
	
		
			278 B
		
	
	
	
		
			Plaintext
		
	
	
	
	
	
--source include/have_wsrep_provider.inc
 | 
						|
--source include/have_binlog_format_row.inc
 | 
						|
 | 
						|
--echo #
 | 
						|
--echo # MDEV-10186: mysqld crash when runtime setting
 | 
						|
--echo # wsrep_cluster_address without wsrep_on=ON
 | 
						|
--echo #
 | 
						|
 | 
						|
SELECT @@wsrep_on;
 | 
						|
SET @@GLOBAL.wsrep_cluster_address='gcomm://';
 | 
						|
 |