diff options
author | unknown <msvensson@neptunus.(none)> | 2006-05-23 10:34:59 +0200 |
---|---|---|
committer | unknown <msvensson@neptunus.(none)> | 2006-05-23 10:34:59 +0200 |
commit | 8a809e35a85b545b23b4ff6455fbf13af9b6f26e (patch) | |
tree | 6504002337fe19b0c1dc9ed799f7a9cacbf70322 | |
parent | 328bc657bc6e044c7c85573b3d97d056c56d694a (diff) | |
parent | 90b8e601032341a6e63fc931d9c3cd2ebe64e7ff (diff) | |
download | mariadb-git-8a809e35a85b545b23b4ff6455fbf13af9b6f26e.tar.gz |
Merge neptunus.(none):/home/msvensson/mysql/my41-bug13711
into neptunus.(none):/home/msvensson/mysql/mysql-4.1
-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 9c1089dbdb2..fc3ca5085cf 100644 --- a/sql/mysqld.cc +++ b/sql/mysqld.cc @@ -863,7 +863,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(OS2) || defined(__NETWARE__) extern "C" void kill_server(int sig_ptr) |