diff options
| author | unknown <petr@mysql.com> | 2005-10-16 19:37:21 +0400 |
|---|---|---|
| committer | unknown <petr@mysql.com> | 2005-10-16 19:37:21 +0400 |
| commit | f7c793365d175026998368321df7b2f944c72478 (patch) | |
| tree | 60511fbbbea2284bc8f38165343d5feb0952c58b /mysql-test | |
| parent | 924aa6a91ebee6b4494dc4cb1278e732a757732c (diff) | |
| parent | 40e9c83d5d11fdc5454830fedced9598dcff352c (diff) | |
| download | mariadb-git-f7c793365d175026998368321df7b2f944c72478.tar.gz | |
Merge mysqldev@production.mysql.com:my/mysql-5.0-release
into mysql.com:/home/cps/mysql/trees/mysql-5.0
Diffstat (limited to 'mysql-test')
| -rwxr-xr-x | mysql-test/t/kill_n_check.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mysql-test/t/kill_n_check.sh b/mysql-test/t/kill_n_check.sh index 7fe30c4774c..e722b3a180d 100755 --- a/mysql-test/t/kill_n_check.sh +++ b/mysql-test/t/kill_n_check.sh @@ -39,7 +39,7 @@ new_pid="" # echo "New PID: $new_pid" -if [ "$expected_result" == "restarted" ]; then +if [ "$expected_result" = "restarted" ]; then if [ -z "$new_pid" ]; then echo "Error: the process was killed." @@ -54,7 +54,7 @@ if [ "$expected_result" == "restarted" ]; then echo "Success: the process was restarted." exit 0 -else # $expected_result == killed +else # $expected_result = killed if [ "$new_pid" -a "$new_pid" -ne "$original_pid" ]; then echo "Error: the process was restarted." |