diff options
-rwxr-xr-x | ulri | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -235,7 +235,7 @@ foreach my $prefix (keys %pkg_tree) { # # Part 1: get results from finished builds # - +# TODO: Make this parallel plog('MSG', "check build bot results"); my %later; @@ -279,6 +279,8 @@ foreach my $prefix (keys %pkg_tree) { my $status = sout($remote, "cat $status_file"); if ($? == 255) { plog('WARN', "failed to get status for $host/$arch"); + # TODO Check for timeout, else we may have packages stuck forever + # when losing a machine. next bot; } |