Support for the WDB debugger in TurboGears applications