diff options
author | unknown <msvensson@neptunus.(none)> | 2006-05-29 15:32:52 +0200 |
---|---|---|
committer | unknown <msvensson@neptunus.(none)> | 2006-05-29 15:32:52 +0200 |
commit | f41db8b01fbf380edd73d88d486e6cbdedf3158b (patch) | |
tree | 6e6fe5f9f192f2299984d9c57d9037f661b887b5 /sql | |
parent | e05d55de5ff6c95143fb1096da8019ab5fb7c6a2 (diff) | |
parent | 13eedad2d0da88cc3ce351742edc4ea945b24a3b (diff) | |
download | mariadb-git-f41db8b01fbf380edd73d88d486e6cbdedf3158b.tar.gz |
Merge bk-internal:/home/bk/mysql-5.1-new
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 2a8fe21f656..91828edec9c 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) |