diff options
author | Raimo Niskanen <[email protected]> | 2011-12-22 15:50:52 +0100 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2011-12-22 15:50:52 +0100 |
commit | 2888de6f80565b443d7e94cdf75308651f238b39 (patch) | |
tree | 9a6497819591b354aeebaafd15b3e8287757aba3 /lib | |
parent | f8afba0c65589a2215a9c01aa2b1302c96d056c5 (diff) | |
parent | 8769a849dbbb70cb92733f484b2a0e1693e97eb7 (diff) | |
download | otp-2888de6f80565b443d7e94cdf75308651f238b39.tar.gz otp-2888de6f80565b443d7e94cdf75308651f238b39.tar.bz2 otp-2888de6f80565b443d7e94cdf75308651f238b39.zip |
Merge branch 'maint'
Diffstat (limited to 'lib')
-rwxr-xr-x | lib/kernel/test/inet_res_SUITE_data/run-named | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/lib/kernel/test/inet_res_SUITE_data/run-named b/lib/kernel/test/inet_res_SUITE_data/run-named index eeca680ab5..619e456b3f 100755 --- a/lib/kernel/test/inet_res_SUITE_data/run-named +++ b/lib/kernel/test/inet_res_SUITE_data/run-named @@ -47,7 +47,6 @@ CONF_FILE=named.conf INC_FILE=named_inc.conf PID_FILE=named.pid LOG_FILE=named.log -EXIT_FILE=named.exit error () { r=$? @@ -150,7 +149,6 @@ cat >>"$CONF_FILE" <<-CONF_FILE ( cd "$SRCDIR" && ls -1 ) | while read f; do cp -fp "$SRCDIR/$f" . done -rm -f "$EXIT_FILE" # Start nameserver echo "Cwd: `pwd`" @@ -158,19 +156,20 @@ echo "Nameserver: $NAMED_VER" echo "Port: $2" echo "ZoneDir: $3" echo "Command: $NAMED $NAMED_FG -c $CONF_FILE" -($NAMED $NAMED_FG -c "$CONF_FILE" >"$LOG_FILE" 2>&1 </dev/null; \ - echo "$?" >"$EXIT_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" \ 0 1 2 3 15 + sleep 5 # Give name server time to load its zone files -if [ -f "$EXIT_FILE" ]; then - ERROR="`cat "$EXIT_FILE"`" - (exit "$ERROR")& error "$NAMED returned $ERROR on start" -else + +if ps p $NAMED_PID; then echo "Running: Enter \`\`quit'' to terminate nameserver[$NAMED_PID]..." while read LINE; do test :"$LINE" = :'quit' && break done +else + wait $NAMED_PID; error "$NAMED failed to start" fi echo "Closing: Terminating nameserver..." |