diff options
| -rw-r--r-- | src/pro-archman.sh | 4 |
1 files changed, 4 insertions, 0 deletions
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}" } |