diff options
| -rw-r--r-- | ChangeLog | 1 | ||||
| -rwxr-xr-x | stap-start-server | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -1,6 +1,7 @@ 2008-09-12 Dave Brolley <brolley@redhat.com> * stap-client (staprun_PATH): Ensure that $first_stap is not empty. + * stap-start-server: Use 'ps' to check that the server started. 2008-09-12 Masami Hiramatsu <mhiramat@redhat.com> diff --git a/stap-start-server b/stap-start-server index eea86526..aa2850b5 100755 --- a/stap-start-server +++ b/stap-start-server @@ -19,7 +19,7 @@ server_pid=$! # 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 + (ps -a | grep $server_pid) >/dev/null 2>&1 && echo $server_pid && exit 0 sleep 1 done |