diff options
-rw-r--r-- | NEWS | 1 | ||||
-rwxr-xr-x | ulri | 6 |
2 files changed, 4 insertions, 3 deletions
@@ -1,4 +1,5 @@ - increase default timeout for commands to 10 minutes +- consider build fail after faildelay even if machine is unreachable 0.7.5 - iurt: fix checking if chroot needs updating @@ -276,12 +276,12 @@ foreach my $prefix (keys %pkg_tree) { my $status_file = "$prefix_dir/log/status.log"; plog('INFO', "check status: $host/$arch ($bot [$pid])"); + my $timeout = (time()-$time) > $config->{faildelay}; 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; + # If we are already out of time, we should fail anyway + next bot unless $timeout; } my $proc_state; |