database/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00
Code Activity

Fix to ignore mysqld_safe.pid

Browse Source
This commit is contained in:
Balasubramanian Kandasamy
2013-08-30 17:14:46 +02:00
parent 095b6645b0
commit 9e49de009c
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
support-files/mysql.spec.sh
View File

@ -643,7 +643,7 @@ then
fi fi
if [ -z "$PID_FILE_PATT" ] if [ -z "$PID_FILE_PATT" ]
then then
PID_FILE_PATT=`ls $mysql_datadir/*.pid 2>/dev/null | grep -v "mysqld_safe.pid"` PID_FILE_PATT="$mysql_datadir/*.pid"
fi fi
# Check if we can safely upgrade. An upgrade is only safe if it's from one # Check if we can safely upgrade. An upgrade is only safe if it's from one
@ -716,7 +716,7 @@ fi
# We assume that if there is exactly one ".pid" file, # We assume that if there is exactly one ".pid" file,
# it contains the valid PID of a running MySQL server. # it contains the valid PID of a running MySQL server.
NR_PID_FILES=`ls $PID_FILE_PATT 2>/dev/null | wc -l` NR_PID_FILES=`ls $PID_FILE_PATT 2>/dev/null | grep -v "mysqld_safe.pid" | wc -l`
case $NR_PID_FILES in case $NR_PID_FILES in
0 ) SERVER_TO_START='' ;; # No "*.pid" file == no running server 0 ) SERVER_TO_START='' ;; # No "*.pid" file == no running server
1 ) SERVER_TO_START='true' ;; 1 ) SERVER_TO_START='true' ;;