set_exception_handler behaviour change...

Dear all, I would like to request that set_exception_handler's behaviour be changed. IMHO it should not die after handling an exception. I feel that most users will expect this behaviour to be synonymous (i.e. both should echo "foo"): try { throw someException; } catch (someException $e) { } echo "foo"; and: throw someExceptionThatIsCaughtBySetExceptionHandler; echo "foo"; Derick has expressed that all uncaught exceptions should cause an E_ERROR, and I agree, however I feel that set_exception_handler means that the exception is handled, just by a default function (say, a logger). There is currently a rather large (and heated) debate on pear-dev about how to not get in a mess with PHP5 error handling, and I have proposed a nice solution (IMO) which relies on the behaviour I propose. - Davey