From 5f29217589bee67f5ded4136c264a18ed3e9b34e Mon Sep 17 00:00:00 2001 From: Dave Brolley Date: Fri, 12 Sep 2008 16:32:15 -0400 Subject: Use ps to check for server startup on stap-start-server --- stap-start-server | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stap-start-server') 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 -- cgit