From e3b58661b3b44440242c8dc7af25527aab54fa56 Mon Sep 17 00:00:00 2001
From: Tzafrir Cohen <tzafrir.cohen@xorcom.com>
Date: Tue, 7 Apr 2015 11:38:50 +0300
Subject: run_mysqld: stop: do nothing if no pid

---
 tests/local-server/run_mysqld | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3