diff options
author | Raimo Niskanen <[email protected]> | 2012-01-13 15:29:41 +0100 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2012-01-13 15:29:41 +0100 |
commit | d936e40f67ed83f5f5dff69a6a9863447cce1530 (patch) | |
tree | fc5e17795039926d6c0a412853e060d1d3cf6b21 /lib | |
parent | ecdf20f68d21c53efacf8668108f750c5e765d74 (diff) | |
parent | dcea5ce4ae0a1441eba39580480a4a7e6f20da48 (diff) | |
download | otp-d936e40f67ed83f5f5dff69a6a9863447cce1530.tar.gz otp-d936e40f67ed83f5f5dff69a6a9863447cce1530.tar.bz2 otp-d936e40f67ed83f5f5dff69a6a9863447cce1530.zip |
Merge branch 'maint'
Diffstat (limited to 'lib')
-rwxr-xr-x | lib/kernel/test/inet_res_SUITE_data/run-named | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/kernel/test/inet_res_SUITE_data/run-named b/lib/kernel/test/inet_res_SUITE_data/run-named index 619e456b3f..211d2c7af7 100755 --- a/lib/kernel/test/inet_res_SUITE_data/run-named +++ b/lib/kernel/test/inet_res_SUITE_data/run-named @@ -2,7 +2,7 @@ ## ## %CopyrightBegin% ## -## Copyright Ericsson AB 2009-2011. All Rights Reserved. +## Copyright Ericsson AB 2009-2012. All Rights Reserved. ## ## The contents of this file are subject to the Erlang Public License, ## Version 1.1, (the "License"); you may not use this file except in @@ -159,17 +159,17 @@ echo "Command: $NAMED $NAMED_FG -c $CONF_FILE" $NAMED $NAMED_FG -c "$CONF_FILE" >"$LOG_FILE" 2>&1 </dev/null & NAMED_PID=$! echo "Pid: $NAMED_PID" -trap "kill -TERM $NAMED_PID >/dev/null 2>&1; wait $NAMED_PID >/dev/null 2>&1" \ +trap "kill $NAMED_PID >/dev/null 2>&1; wait $NAMED_PID >/dev/null 2>&1" \ 0 1 2 3 15 sleep 5 # Give name server time to load its zone files -if ps p $NAMED_PID; then +if ps -p $NAMED_PID >/dev/null 2>&1 || ps p $NAMED_PID >/dev/null 2>&1; then echo "Running: Enter \`\`quit'' to terminate nameserver[$NAMED_PID]..." while read LINE; do test :"$LINE" = :'quit' && break done + echo "Closing: Terminating nameserver..." else - wait $NAMED_PID; error "$NAMED failed to start" + error "$NAMED failed to start" fi -echo "Closing: Terminating nameserver..." |