diff options
| author | Mattia Rizzolo <mattia@mapreri.org> | 2015-05-26 15:37:53 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-05-26 16:00:38 +0200 |
| commit | 696e4f245e323297774803dd165b3fc4927a6d25 (patch) | |
| tree | e9662631203ed50a096197c2e280754f22aab84b /live/config | |
| parent | 38b8441d0382ffa170982c6ad56b5f1bc4561f5f (diff) | |
| download | jenkins.debian.net-696e4f245e323297774803dd165b3fc4927a6d25.tar.xz | |
reproducible: remote_scheduler: don't allow rescheduling a package if it's already building
Diffstat (limited to 'live/config')
0 files changed, 0 insertions, 0 deletions