diff options
Diffstat (limited to 'stap-start-server')
-rwxr-xr-x | stap-start-server | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stap-start-server b/stap-start-server index 1225902d..b3926b9c 100755 --- a/stap-start-server +++ b/stap-start-server @@ -18,7 +18,7 @@ startup_timeout=20 # start the server -${stap_pkglibexecdir}stap-serverd "$@" </dev/null >/dev/null 2>&1 & +${stap_pkglibexecdir}stap-serverd "$@" </dev/null & server_pid=$! # Make sure the server is started @@ -30,6 +30,8 @@ do # Has the server started? if ! (ps -e | grep stap-serverd | grep $server_pid) >/dev/null 2>&1; then + # The stap-serverd script should start right away + test $server_started = 0 -a $attempt -gt 1 && break sleep 1 continue fi |