zendframework/ZendDeveloperTools — pull request #2 by mhujer (2011-12-10 17:49:26+00:00)
Title: Fixes issue #1 - ZendDeveloperTools raises php error

Fixes issue #1 - ZendDeveloperTools raises php error when application throws an exception