diff options
Diffstat (limited to 'stap-find-or-start-server')
| -rwxr-xr-x | stap-find-or-start-server | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stap-find-or-start-server b/stap-find-or-start-server index 32a45052..108ac6ed 100755 --- a/stap-find-or-start-server +++ b/stap-find-or-start-server @@ -21,7 +21,7 @@ stap-find-servers >/dev/null 2>&1 && echo 0 && exit 0 # No server available, try to start one. -pid=`stap-start-server` +pid=`stap-start-server "$@"` if test $? = 0; then echo $pid exit 0 |