mirror of
				https://github.com/MariaDB/server.git
				synced 2025-11-03 14:33:32 +03:00 
			
		
		
		
	fails randomly. The problem was that the test case used command line tool (mysql) without specifying connect_timeout argument. In some cases, this lead to hanging of the test case. The fix is to specify --connect_timeout=1 when starting mysql. Also, the patch contains polishing and various cleanups to simplify analyzing of the problems further. The patch affects only test suite, no server codebase has been touched.
		
			
				
	
	
		
			56 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			Bash
		
	
	
	
	
	
			
		
		
	
	
			56 lines
		
	
	
		
			1.1 KiB
		
	
	
	
		
			Bash
		
	
	
	
	
	
###########################################################################
 | 
						|
#
 | 
						|
# This file provides utility functions and is included by other scripts.
 | 
						|
#
 | 
						|
# The following global variables must be set before calling functions from this
 | 
						|
# file:
 | 
						|
#   - basename -- base name of the calling script (main application);
 | 
						|
#   - log_file -- where to store log records;
 | 
						|
#
 | 
						|
###########################################################################
 | 
						|
 | 
						|
log()
 | 
						|
{
 | 
						|
  [ -z "$log_file" ] && return;
 | 
						|
 | 
						|
  log_level="$1"
 | 
						|
  log_msg="$2"
 | 
						|
  ts=`date`
 | 
						|
 | 
						|
  echo "[$ts] [$basename] [$log_level] $log_msg" >> "$log_file";
 | 
						|
}
 | 
						|
 | 
						|
###########################################################################
 | 
						|
 | 
						|
log_debug()
 | 
						|
{
 | 
						|
  log 'DEBUG' "$1"
 | 
						|
}
 | 
						|
 | 
						|
###########################################################################
 | 
						|
 | 
						|
log_info()
 | 
						|
{
 | 
						|
  log 'INFO' "$1"
 | 
						|
  echo "$1"
 | 
						|
}
 | 
						|
 | 
						|
###########################################################################
 | 
						|
 | 
						|
log_error()
 | 
						|
{
 | 
						|
  log 'ERROR' "$1"
 | 
						|
  echo "Error: $1"
 | 
						|
}
 | 
						|
 | 
						|
###########################################################################
 | 
						|
 | 
						|
quit()
 | 
						|
{
 | 
						|
  exit_status="$1"
 | 
						|
 | 
						|
  log_debug "-- $basename: finished (exit_status: $exit_status) --"
 | 
						|
 | 
						|
  exit $exit_status
 | 
						|
}
 |