Commit 93339026 authored by petr@mysql.com's avatar petr@mysql.com

Merge mysqldev@production.mysql.com:my/mysql-5.0-release

into  mysql.com:/home/cps/mysql/trees/mysql-5.0
parents 00b53528 1b0566c2
...@@ -39,7 +39,7 @@ new_pid="" ...@@ -39,7 +39,7 @@ new_pid=""
# echo "New PID: $new_pid" # echo "New PID: $new_pid"
if [ "$expected_result" == "restarted" ]; then if [ "$expected_result" = "restarted" ]; then
if [ -z "$new_pid" ]; then if [ -z "$new_pid" ]; then
echo "Error: the process was killed." echo "Error: the process was killed."
...@@ -54,7 +54,7 @@ if [ "$expected_result" == "restarted" ]; then ...@@ -54,7 +54,7 @@ if [ "$expected_result" == "restarted" ]; then
echo "Success: the process was restarted." echo "Success: the process was restarted."
exit 0 exit 0
else # $expected_result == killed else # $expected_result = killed
if [ "$new_pid" -a "$new_pid" -ne "$original_pid" ]; then if [ "$new_pid" -a "$new_pid" -ne "$original_pid" ]; then
echo "Error: the process was restarted." echo "Error: the process was restarted."
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment