1berry/MariaDB-server
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix to ignore mysqld_safe.pid

Browse Source
This commit is contained in:
Balasubramanian Kandasamy 2013-08-30 15:02:16 +02:00
parent 1f6434ba3d
commit bb82aecef9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -636,7 +636,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
@ -718,7 +718,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' ;;