diff options
Diffstat (limited to 'ulri')
-rwxr-xr-x | ulri | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -648,8 +648,15 @@ foreach my $prefix (sort keys %pkg_tree) { ssh($remote, "$cmd $pkgs &> $temp &"); # wait 10 seconds or until we have the log file + # plus 20 seconds if it timeouts. # - last if check_file_timeout($temp, 10); + if (check_file_timeout($temp, 10)) { + plog('WARN', "Timeout waiting for building start. Waiting more 20s."); + if ((check_file_timeout($temp, 20)) { + plog('WARN', "Timeout! Abandoning the build."); + last; + } + } # get remote PID from log file # |