diff options
| author | Erich Eckner <git@eckner.net> | 2018-03-09 16:09:53 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-09 16:09:53 +0100 |
| commit | 9ede9a11566506384d5ce13736a9153313a14535 (patch) | |
| tree | b754134eeb351b7cac6365f878ee2f520da4a6ba /web-scripts/build-list.php | |
| parent | 2acef10964ec3f7027981f45a072fd5e4aab3722 (diff) | |
| download | builder-9ede9a11566506384d5ce13736a9153313a14535.tar.xz | |
bin/get-package-updates: do not remove to-be-decided packages (of other running instance!) if we cannot acquire a lock
Diffstat (limited to 'web-scripts/build-list.php')
0 files changed, 0 insertions, 0 deletions