[JobQueue] Fixed some old race conditions in nextJobDB.php
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 23 Nov 2012 03:10:42 +0000 (19:10 -0800)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 Nov 2012 03:04:01 +0000 (03:04 +0000)
commit91d3c1e135268e27ec5ccb250e066c2726468c85
tree295767ebad4e7f826b0cae5ea86b2970d374ed8f
parentebc73c7df7007548f7d3b801b815357749eb3bac
[JobQueue] Fixed some old race conditions in nextJobDB.php

Change-Id: I90911083a096c8117dcceb16bf997eac9fd3ccd1
maintenance/nextJobDB.php