mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-17 20:42:30 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge mysql.com:/home/mydev/mysql-5.0

Browse source 
into mysql.com:/home/mydev/mysql-5.0-wl2050-new
This commit is contained in:
unknown 2004-11-25 22:48:59 +01:00
commit 036a61c241
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
server-tools/instance-manager/manager.cc
View file

@ -56,7 +56,7 @@ void manager(const char *socket_file_name)
in the process. in the process.
*/ */
int signo; int signo;
sigwait(&mask, &signo); my_sigwait(&mask, &signo);
thread_repository.deliver_shutdown(); thread_repository.deliver_shutdown();
/* don't pthread_exit to kill all threads who did not shut down in time */ /* don't pthread_exit to kill all threads who did not shut down in time */
} }