#161

#161

#161

#160

#160

#160

#160

#160

#160

#160

This should prevent a race between delete_job_operation() and
delete_job_lease() when dropping Job objects after execution.

#160