diff options
Diffstat (limited to 'emi')
-rwxr-xr-x | emi | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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; |