Catch exceptions thrown while running deferred updates.
authorAlexandre Emsenhuber <ialex.wiki@gmail.com>
Thu, 12 Jul 2012 21:07:56 +0000 (23:07 +0200)
committerAlexandre Emsenhuber <ialex.wiki@gmail.com>
Thu, 12 Jul 2012 21:14:40 +0000 (23:14 +0200)
commite1bc8fd885e1f06603dcd024bea29236863f1480
treefd1a12a8e0f416cabf8e9857370343e804fe858e
parent07e7a9c94494c1db2794a8965459b14e6edacc41
Catch exceptions thrown while running deferred updates.

Such exceptions should not reported to the user because the main output
is already sent. Otherwise the user will recive a double reponse with
is just horribly looking. Instead just log these exceptions to keep a
trace of them. This also adds an higher isolation level for these
updates and the post-response cleanup.

Change-Id: I60c2c5ba8ab2ec2d835d8d3042584e98a62809be
includes/DeferredUpdates.php