Lower the amount of jobs pushed into redis at once
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 19 Apr 2017 22:38:32 +0000 (15:38 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Wed, 19 Apr 2017 22:38:32 +0000 (15:38 -0700)
commit0b58cdc7f2d95b84b5e6d1c2a62a17fdd94ce86a
tree1db4a7ef19f8033c586945d5311a28c69b2e1c9f
parentedda29d73a3f8caedbdffac3c6ea062f7cf20f85
Lower the amount of jobs pushed into redis at once

This further limits how long the server can be tied up by push().

Change-Id: I02d242578dadc19912c9fccfdcf5e15c5eb78e9e
includes/jobqueue/JobQueueRedis.php