Correctly reset php error handler even when user-code raises an exception
authorgggeek <giunta.gaetano@gmail.com>
Sat, 30 May 2015 11:48:28 +0000 (13:48 +0200)
committergggeek <giunta.gaetano@gmail.com>
Sat, 30 May 2015 11:48:28 +0000 (13:48 +0200)
commit4f055f25ad547e9faf94417dfd58c2082e8e31f1
tree8734937587a7c9d22d54e32652f3ec9d63ef50bf
parentb44fb9a21bea5fb357ab8ab09d3c530067cb76b3
Correctly reset php error handler even when user-code raises an exception
NEWS
src/Server.php