PHP5: Exception not correctly thown with __get, __set and __toString

Hello, The following code does not work as expected: <? class Test { function __get($n) { print('[get]'); throw new Exception('get'); print('[/get]'); // not printed: OK } } print('[test]'); $o = new Test(); $v = $o->foo; print('[/test]'); // printed: bug ?> '/get' is not printed, so the throw statement is correctly executed, but '/test' is printed, so the exception is not correctly "propagated" to the caller. Note that the exception will be thrown later, either: * if the call to __get was not in a function: end of script, * if the call to __get was within a function: end of the function, except if antoher exception is thrown, but in that case the get exception is reported, not the newly thrown one. Same behaviour with __set and __toString. Apparently no problems with __construct, __destruct, __call and __clone. Regards, Stephane