aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xulri9
1 files changed, 8 insertions, 1 deletions
diff --git a/ulri b/ulri
index 4d7eda4..65711e1 100755
--- a/ulri
+++ b/ulri
@@ -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
#