Better logging in DebugServer