diff options
| -rwxr-xr-x | stap-find-servers | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stap-find-servers b/stap-find-servers index 77cd267a..5b00e51e 100755 --- a/stap-find-servers +++ b/stap-find-servers @@ -26,7 +26,7 @@ function initialization { else find_all=0 fi - timeout=10 # seconds + timeout=20 # seconds } # function: find_servers |