diff options
Diffstat (limited to 'stap-start-server')
-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 aa2850b5..5bc97c22 100755 --- a/stap-start-server +++ b/stap-start-server @@ -13,7 +13,7 @@ # process id, if successful. # start the server -stap-serverd </dev/null >/dev/null 2>&1 & +stap-serverd "$@" </dev/null >/dev/null 2>&1 & server_pid=$! # Make sure the server is started |