diff options
author | Dave Brolley <brolley@redhat.com> | 2008-09-12 16:32:15 -0400 |
---|---|---|
committer | Dave Brolley <brolley@redhat.com> | 2008-09-12 16:32:15 -0400 |
commit | 5f29217589bee67f5ded4136c264a18ed3e9b34e (patch) | |
tree | 1692fd80f74847f8b266e62ff8c0c96337316699 /stap-start-server | |
parent | 06764a063364bfd97d168dd3d7d2621b818b3437 (diff) | |
download | systemtap-steved-5f29217589bee67f5ded4136c264a18ed3e9b34e.tar.gz systemtap-steved-5f29217589bee67f5ded4136c264a18ed3e9b34e.tar.xz systemtap-steved-5f29217589bee67f5ded4136c264a18ed3e9b34e.zip |
Use ps to check for server startup on stap-start-server
Diffstat (limited to 'stap-start-server')
-rwxr-xr-x | stap-start-server | 2 |
1 files changed, 1 insertions, 1 deletions
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 |