Hi Arnold > However, operations don't ever throw exceptions, but throw an error instead.
I replaced it with a new, more fitting UnhandledSwitchCaseError. Thanks! Ilija -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
