Searched refs:MYSQL_PID (Results 1 – 17 of 17) sorted by relevance
32 MYSQL_PID=${MYSQL_PID:-"$MYSQL_DATA_DIR/mysqld.pid"}51 if test -f $MYSQL_PID62 --pid-file="$MYSQL_PID" \72 while ! test -r $MYSQL_PID96 if test -r $MYSQL_PID100 if find_pid $(cat $MYSQL_PID)103 kill $(cat $MYSQL_PID)109 if test ! -r $MYSQL_PID118 kill -9 $(cat $MYSQL_PID; rm -rf $MYSQL_PID)122 rm -rf $MYSQL_PID[all …]
71 MYSQL_PID=${MYSQL_PID:-"$MYSQL_DATA_DIR/mysqld.pid"}242 if test -f $MYSQL_PID302 --pid-file="$MYSQL_PID" \331 --pid-file="$MYSQL_PID" \352 --pid-file="$MYSQL_PID" \371 while ! test -r $MYSQL_PID404 if test -r $MYSQL_PID408 local my_pid=$(cat $MYSQL_PID)433 rm -f $MYSQL_PID448 if test -f $MYSQL_PID[all …]
71 MYSQL_PID=${MYSQL_PID:-"$MYSQL_DATA_DIR/mysqld.pid"}242 if test -f $MYSQL_PID254 GENERAL_OPTS+=" --pid-file=$MYSQL_PID"356 while ! test -r $MYSQL_PID389 if test -r $MYSQL_PID393 local my_pid=$(cat $MYSQL_PID)403 if test ! -r $MYSQL_PID418 rm -f $MYSQL_PID433 if test -f $MYSQL_PID435 local my_pid=$(cat $MYSQL_PID)[all …]
37 MYSQL_PID=${MYSQL_PID:-"$MYSQL_DATA_DIR/mysqld.pid"}86 if test -f $MYSQL_PID117 --pid-file=$MYSQL_PID \142 while ! test -r $MYSQL_PID157 echo " Done (PID:$(cat $MYSQL_PID))"166 if test -r $MYSQL_PID170 local my_pid=$(cat $MYSQL_PID)180 if test ! -r $MYSQL_PID192 echo -n "Removing stale PID file $MYSQL_PID... "195 rm -rf $MYSQL_PID[all …]
1655 my $MYSQL_PID;1658 $MYSQL_PID = get_mysql_pid() unless defined $MYSQL_PID;1660 if ( $MYSQL_PID && -f "/proc/$MYSQL_PID/as" ) {