From f5a40c83733a8270c1b9e991b8999e5fc8601e5f Mon Sep 17 00:00:00 2001
From: Dave Brolley <brolley@redhat.com>
Date: Mon, 2 Feb 2009 16:14:03 -0500
Subject: Use ps -e to look for stap server processes.

---
 ChangeLog        | 1 +
 stap-server.8.in | 3 +--
 stap-stop-server | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index f743fd0f..92f103d4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -8,6 +8,7 @@
 	for phases 1-4.
 	(fatal,error): Correct quoting typos.
 	stap-server.8.in: Add SSL information.
+	* stap-stop-server: Use 'ps -e' to list processes.
 
 2009-02-02  Stan Cox  <scox@redhat.com>
 
diff --git a/stap-server.8.in b/stap-server.8.in
index f7d31153..2159ba25 100644
--- a/stap-server.8.in
+++ b/stap-server.8.in
@@ -23,8 +23,7 @@ stap-server \- systemtap server and related utilities
 .B \-\-server=\fIHOSTNAME\fR|\fIIP_ADDRESS\fR[\fB:\fIPORT\fR]
 ]
 [
-.B \-\-ssl=
-.I DIRNAME
+.B \-\-ssl=\fIDIRNAME
 ]
 [
 .I ARGUMENTS
diff --git a/stap-stop-server b/stap-stop-server
index 5afcf705..48c8a450 100755
--- a/stap-stop-server
+++ b/stap-stop-server
@@ -20,7 +20,7 @@ if test "X$pid" = "X"; then
 fi
 
 # Verify that it is a systemtap server
-(ps -a | grep stap-serverd | grep -q $pid)
+(ps -e | grep stap-serverd | grep -q $pid)
 if test $? != 0; then
    echo "$pid is not a systemtap server"
    exit 1
-- 
cgit