diff options
Diffstat (limited to 'stap-start-server')
| -rwxr-xr-x | stap-start-server | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/stap-start-server b/stap-start-server index d143e269..eea86526 100755 --- a/stap-start-server +++ b/stap-start-server @@ -16,9 +16,11 @@ stap-serverd </dev/null >/dev/null 2>&1 & server_pid=$! -# Exit if the server did not start ok -(ps | grep -q $server_pid) || exit 1 +# Make sure the server is started +for ((attempt=0; $attempt < 5; ++attempt)) +do + stap-find-servers >/dev/null 2>&1 && echo $server_pid && exit 0 + sleep 1 +done -# The server started ok. Echo its process id. -echo $server_pid -exit 0 +exit 1 # server did not start |