Revert previous change to stap-start-server.

Failure to advertise the server via avahi is fatal again.

diff --git a/stap-start-server b/stap-start-server
index 9825b21e62a4d7c4269f0d37c30d04dfb31796e0..68b88bf0d445a8b37c39ae4e2d0d642f23b7d113 100755 (executable)
--- a/stap-start-server
+++ b/stap-start-server
@@ -45,21 +45,20 @@ do
     fi
     avahi_advertising=1
 
-    break; # Server is up and advertised
+    # The server is ready
+    echo $server_pid
+    exit 0
 done
 
-# server did not start?
+echo -n "Unable to start a systemtap server: " >&2
+
 if test $server_started = 0; then
-    echo -n "Unable to start a systemtap server: " >&2
     echo "${stap_pkglibexecdir}stap-serverd did not start" >&2
-    exit 1
+elif test $avahi_advertising = 0; then
+    echo "avahi is not advertising the server" >&2
 fi
 
-# Is avahi advertising the server? Warn if not.
-if test $avahi_advertising = 0; then
-    echo "WARNING: avahi is not advertising the server" >&2
-fi
+# If the server partially started, then kill it.
+test $server_started = 1 && ${stap_pkglibexecdir}stap-stop-server $server_pid
 
-# The server is ready
-echo $server_pid
-exit 0
+exit 1 # server did not start