1 files changed, 2 insertions, 0 deletions
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");