diff options
author | unknown <msvensson@neptunus.(none)> | 2006-05-23 16:27:40 +0200 |
---|---|---|
committer | unknown <msvensson@neptunus.(none)> | 2006-05-23 16:27:40 +0200 |
commit | 14909cb00a471674035dc7f3d92020372340362b (patch) | |
tree | d6ab37b9407aa7d3b235de500b84a01f9740c771 /sql | |
parent | 2b8527e94507acd10ff48fee4fe1b8814d246dea (diff) | |
parent | 90b8e601032341a6e63fc931d9c3cd2ebe64e7ff (diff) | |
download | mariadb-git-14909cb00a471674035dc7f3d92020372340362b.tar.gz |
Merge neptunus.(none):/home/msvensson/mysql/my41-bug13711
into neptunus.(none):/home/msvensson/mysql/mysql-5.1
sql/mysqld.cc:
Auto merged
Diffstat (limited to 'sql')
-rw-r--r-- | sql/mysqld.cc | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/sql/mysqld.cc b/sql/mysqld.cc index ccf52113c23..d957a3e72e2 100644 --- a/sql/mysqld.cc +++ b/sql/mysqld.cc @@ -1024,7 +1024,20 @@ void kill_mysql(void) DBUG_VOID_RETURN; } - /* Force server down. kill all connections and threads and exit */ +/* + Force server down. Kill all connections and threads and exit + + SYNOPSIS + kill_server + + sig_ptr Signal number that caused kill_server to be called. + + NOTE! + A signal number of 0 mean that the function was not called + from a signal handler and there is thus no signal to block + or stop, we just want to kill the server. + +*/ #if defined(__NETWARE__) extern "C" void kill_server(int sig_ptr) |