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 48c8a450..8b92f4a7 100755 --- a/stap-stop-server +++ b/stap-stop-server @@ -22,7 +22,7 @@ fi # Verify that it is a systemtap server (ps -e | grep stap-serverd | grep -q $pid) if test $? != 0; then - echo "$pid is not a systemtap server" + echo "$pid is not a systemtap server" >&2 exit 1 fi |