From e00ac60cf3191d0b351a3b09003dedcd0e5dd7dc Mon Sep 17 00:00:00 2001 From: Florent Villard Date: Sat, 11 Nov 2006 08:12:43 +0000 Subject: unlink pidfile just after the tree check so that ulri can schedul new jobs --- emi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'emi') diff --git a/emi b/emi index e7fabe5..77774b4 100755 --- a/emi +++ b/emi @@ -130,6 +130,8 @@ check_upload_tree(\%run, $todo, } }, ); +# Once the tree is checked, ulri can be launched again +unlink $pidfile; foreach my $prefix (keys %pkg_tree) { my $ok = 1; @@ -213,6 +215,5 @@ foreach my $prefix (keys %pkg_tree) { } #dump_cache(\%run); -unlink $pidfile; exit; -- cgit v1.2.1