diff options
-rwxr-xr-x | tests/local-server/run_mysqld | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/local-server/run_mysqld b/tests/local-server/run_mysqld index d705ca1..0ebe44b 100755 --- a/tests/local-server/run_mysqld +++ b/tests/local-server/run_mysqld @@ -54,7 +54,12 @@ init_mysql() { case "$1" in start) shift; run_mysqld "$@" &;; init) init_mysql;; -stop) kill `cat "$PID_FILE"`;; +stop) + pid=`cat "$PID_FILE" 2>/dev/null` + if [ "$pid" ]; then + kill $pid + fi + ;; restart) "$0" stop #sleep 1 |