update.sh: use "update.pid" lock against simultaneous updates
commitcd8f14bc0cd7f1ee28e12c241526b2e7f97148ae
authorKyle J. McKay <mackyle@gmail.com>
Thu, 17 Sep 2020 06:40:39 +0000 (16 23:40 -0700)
committerKyle J. McKay <mackyle@gmail.com>
Thu, 17 Sep 2020 06:40:39 +0000 (16 23:40 -0700)
tree3a173af0b1995b8385930248cf01ae74632c95f2
parentd3e5719e2724a38d02213a4ac24b324905e27da3
update.sh: use "update.pid" lock against simultaneous updates

Use the "update.pid" lock file similarly to the way the "gc.pid"
file is used to lock out simultaneous updates of the same project.

The `update.sh` script does not handle having multiple copies
run simultaneously for the same project.

With this change it, all copies but the first will error out.

This, however, does not yet mean that `update.sh` can run
simultaneously on the same project as `gc.sh`.

While theoretically such is possible (since remote pushes into
the repository are always allowed while `gc.sh` is running on
the repository), the `update.sh` script will need a full audit
before allowing such a thing.

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
jobd/update.sh