diff options
Diffstat (limited to 'src/testsuite')
| -rwxr-xr-x | src/testsuite/reload-server.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/testsuite/reload-server.sh b/src/testsuite/reload-server.sh index b17d6721..1f82d8eb 100755 --- a/src/testsuite/reload-server.sh +++ b/src/testsuite/reload-server.sh @@ -22,10 +22,11 @@ if [ -z "$pid" ]; then fi kill -HUP $pid > /dev/null 2>&1; r=$? if [ $r -eq 0 ]; then + sleep 2 echo " ok". - exit 0 + kill -0 $pid && exit 0 fi -echo " failure: server ${id} could not be restarted" +echo " failure: server ${id} could not be reloaded!" exit 1 # -eof- |