From 4a1cbfb2035a4d4d9d29b8ec20ab0ec9fa94ab63 Mon Sep 17 00:00:00 2001 From: Pascal Terjan Date: Fri, 10 Aug 2018 10:01:45 +0000 Subject: Add/Update TODOs --- ulri | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ulri b/ulri index 06742dc..41d7867 100755 --- a/ulri +++ b/ulri @@ -300,6 +300,7 @@ foreach my $prefix (keys %pkg_tree) { next bot; } # TODO: In case of timeout, kill it! + # It should be a matter of kill -14 $pid, that should trigger cleanup 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; @@ -329,6 +330,7 @@ foreach my $prefix (keys %pkg_tree) { plog('FAIL', "install deps failure, rebuild later: $p"); $later{$prefix} = 1; $later = 1; + # TODO: fetch/clean the logs } if ($r ne 'ok') { plog('FAIL', "$r: $p"); -- cgit v1.2.1