1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

Merge on pull

sql/mysqld.cc:
  Auto merged
This commit is contained in:
unknown
2004-11-12 17:48:01 +02:00
31 changed files with 458 additions and 190 deletions

View File

@ -315,7 +315,7 @@ do
break
fi
if test @IS_LINUX@ -a $KILL_MYSQLD -eq 1
if @IS_LINUX@ && test $KILL_MYSQLD -eq 1
then
# Test if one process was hanging.
# This is only a fix for Linux (running as base 3 mysqld processes)