diff options
Diffstat (limited to 'stap-serverd')
-rwxr-xr-x | stap-serverd | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stap-serverd b/stap-serverd index 32888ecc..a6611255 100755 --- a/stap-serverd +++ b/stap-serverd @@ -85,7 +85,7 @@ function listen { fi sleep 1 done - if test $attempt = 10; then + if test $attempt = 5; then fatal "ERROR: cannot listen on port $port. rc==$rc" fi done |