From 38c5d9234ba38a96d59265f7256b22ca44543ec0 Mon Sep 17 00:00:00 2001 From: Pascal Terjan Date: Sat, 6 Oct 2018 08:30:11 +0000 Subject: Update TODO --- ulri | 1 + 1 file changed, 1 insertion(+) (limited to 'ulri') 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; -- cgit v1.2.1