aboutsummaryrefslogtreecommitdiffstats
path: root/ulri
diff options
context:
space:
mode:
Diffstat (limited to 'ulri')
-rwxr-xr-xulri1
1 files changed, 1 insertions, 0 deletions
diff --git a/ulri b/ulri
index 9a31a3d..6009279 100755
--- a/ulri
+++ b/ulri
@@ -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;