diff options
| -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 e43a4cdf..ab78fc09 100755 --- a/stap-start-server +++ b/stap-start-server @@ -17,7 +17,7 @@ startup_timeout=20 # start the server -${stap_exec_prefix}stap-serverd "$@" </dev/null & +${stap_exec_prefix}stap-serverd "$@" </dev/null >/dev/null 2>&1 & server_pid=$! # Make sure the server is started |