scheduler.py: Do not delete jobs if its lease is ongoing

#149

scheduler.py: Do not delete jobs if its lease is ongoing
c0795f6d · Martin Blanchard · 251d3951 · c0795f6d
Commit c0795f6d authored 6 years ago by Martin Blanchard
--- a/buildgrid/server/scheduler.py
+++ b/buildgrid/server/scheduler.py
@@ -62,7 +62,7 @@ class Scheduler:

        job.unregister_client(queue)

-        if not job.n_clients and job.operation.done:
+        if not job.n_clients and job.operation.done and not job.lease:
            del self.jobs[job_name]

            if self._is_instrumented: