devtools/testlib.py
changeset 6427 c8a5ac2d1eaa
parent 6425 8d7c2fd2ac66
child 6435 71b2a3fe7ba1
--- a/devtools/testlib.py	Sat Oct 09 00:05:50 2010 +0200
+++ b/devtools/testlib.py	Sat Oct 09 00:05:52 2010 +0200
@@ -294,6 +294,9 @@
     def set_debug(self, debugmode):
         server.set_debug(debugmode)
 
+    def debugged(self, debugmode):
+        return server.debugged(debugmode)
+
     # default test setup and teardown #########################################
 
     def setUp(self):