projects / gatekeeper.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10e34ed) | patch
Add separate serials flag file for flock in gatekeeper
authorJacob Bachmeyer <jcb@gnu.org>
Sun, 30 Apr 2023 02:59:12 +0000 (21:59 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Sun, 30 Apr 2023 02:59:12 +0000 (21:59 -0500)
commite3e3a9e62ffbacc2032cc8d5c239166d385eeb25
tree50e5ff9170fd06b16ef01172093df61f4fb12a95tree | snapshot (zip tar.gz)
parent10e34eda4dd9720265e617c7eedcd3f9877aecdbcommit | diff
Add separate serials flag file for flock in gatekeeper

The flag file is zero-length and simply exists as a place to use flock.
This will eventually allow maintaining a lock while rewriting the serials
file using the traditional copy-and-rename method.
gatekeeper.pl diff | blob | blame | history