From e0052f38f4fbd4ac1928461d5315fd2215e6dc57 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Fri, 02 May 2014 09:10:04 -0400
Subject: unlock(): New function.

Separate this from fini() and have fini() call it.
---
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