Push lazy jobs when exceptions are handled by MWExceptionHandler
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 24 May 2017 19:01:31 +0000 (12:01 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Sat, 1 Jul 2017 00:03:11 +0000 (00:03 +0000)
commit8fc7ebaaa2ad465c6163a18991a37504b25eb9cb
treebf1bb40358d5cb7d6480cea37361fb4f16614e31
parent86310a4fbaee17b68304c5d7a161a0fa2a392849
Push lazy jobs when exceptions are handled by MWExceptionHandler

Remove the exit(1), which does not seem to be needed by any callers.
Doing so means that post-send updates can still happen, such as the
pushing of lazy jobs.

Better avoid showing exceptions in doPostOutputShutdown(), given
that an error may have already been shown. By the post-send part,
it's to late to show errors anyway.

Bug: T100085
Change-Id: Ib1c75323f222a0e02603d6415626a4b233e8e1c7
includes/MediaWiki.php
includes/exception/MWExceptionHandler.php