diff options
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/portbuild/scripts/pollmachine | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/pollmachine b/Tools/portbuild/scripts/pollmachine index 6484bb37344c..ebacc2303f3d 100755 --- a/Tools/portbuild/scripts/pollmachine +++ b/Tools/portbuild/scripts/pollmachine @@ -18,7 +18,7 @@ fi if [ -z "${infoseek_host}" ]; then infoseek_host=$m fi -if (/usr/local/bin/nc -w 5 ${infoseek_host} ${infoseek_port} > ${buildroot}/${i}/loads/$m < /dev/null); then +if (/usr/local/bin/nc -w 15 ${infoseek_host} ${infoseek_port} > ${buildroot}/${i}/loads/$m < /dev/null); then if [ "${queue}" = 1 ]; then num=$(awk '{print $1}' ${buildroot}/${i}/loads/$m) if [ "$num" -lt "${maxjobs}" ]; then |