Handle client disconnects in scoped timeout blocks.
authorAaron Schulz <aschulz@wikimedia.org>
Sun, 1 Jul 2012 19:21:10 +0000 (12:21 -0700)
committerAntoine Musso <hashar@free.fr>
Mon, 2 Jul 2012 13:11:49 +0000 (15:11 +0200)
commit3e0b39d59c6ff3e097f692739b6dffa5f7709fbb
treeae438ed05a46da567ca37025b49bdec24a71290b
parentb2641721aaffdf711223bbcd42eb939673370dcf
Handle client disconnects in scoped timeout blocks.

Change-Id: I9de9c84aad1befafc9907773dcb1f6ec45978fe9
includes/ScopedPHPTimeout.php