diff options
Diffstat (limited to 'stap-stop-server')
| -rwxr-xr-x | stap-stop-server | 2 |
1 files changed, 1 insertions, 1 deletions
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 |