Further attempts to make QueueServer restarting work better, a=chris

Author Chris Pollett <chris@pollett.org>
Author date 2019-06-17 16:Jun:th
Author local date 2019-06-17 09:Jun:th -0700
Committer Chris Pollett <chris@pollett.org>
Committer date 2019-06-17 16:Jun:th
Committer local date 2019-06-17 09:Jun:th -0700
Commit a87b64673c292bbb5ca7333421e7a8bd06cdb001
Tree b401b1a3288e813ccc9237b4015a4a41024303a4
Parent f296bf35c8b4f0ab0d3942469859b0aaa8591598
Further attempts to make QueueServer restarting work better, a=chris
Affected files:
src/executables/QueueServer.php
src/library/IndexShard.php
ViewGit