From e0052f38f4fbd4ac1928461d5315fd2215e6dc57 Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Fri, 02 May 2014 09:10:04 -0400 Subject: unlock(): New function. Separate this from fini() and have fini() call it. --- (limited to 'src') diff --git a/src/pro-archman.sh b/src/pro-archman.sh index f2a4e77..2494e96 100644 --- a/src/pro-archman.sh +++ b/src/pro-archman.sh @@ -177,7 +177,11 @@ fini() { update_feeds collect_garbage + unlock +} +unlock() +{ rm -f "${lock}" } -- cgit v0.9.1