diff options
Diffstat (limited to 'ulri')
-rwxr-xr-x | ulri | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -301,6 +301,7 @@ foreach my $prefix (keys %pkg_tree) { } # TODO: In case of timeout, kill it! # It should be a matter of kill -14 $pid, that should trigger cleanup + # We should then keep the lock and wait to fetch/clean the logs plog('FAIL', "$bot timed out on $host/$arch ($seconds sec) or " . "it's dead (status $proc_state), removing lock"); $pkg_tree{$prefix}{media}{$media}{arch}{$arch} = 0; |