devtools/httptest.py
changeset 8727 5bca35901e9b
parent 8712 ce5ae7b80d2c
child 8941 7b26fe71404f
--- a/devtools/httptest.py	Tue Mar 12 12:08:22 2013 +0100
+++ b/devtools/httptest.py	Tue Mar 19 10:08:20 2013 +0100
@@ -156,7 +156,7 @@
             response = self.web_get('logout')
         self._ident_cookie = None
 
-    def web_request(self, path='', method='GET', body=None, headers=None)
+    def web_request(self, path='', method='GET', body=None, headers=None):
         """Return an httplib.HTTPResponse object for the specified path
 
         Use available credential if available.