1--TEST--
2Exception handler should not be invoked for exit()
3--FILE--
4<?php
5
6set_exception_handler(function($e) {
7    var_dump($e);
8});
9
10exit("Exit\n");
11
12?>
13--EXPECT--
14Exit
15