contrib/debugcmdserver.py
changeset 16687 e34106fa0dc3
parent 15259 1d1f6dff9364
child 28353 cd03fbd5ab57
--- a/contrib/debugcmdserver.py	Sat May 12 16:00:57 2012 +0200
+++ b/contrib/debugcmdserver.py	Sat May 12 16:00:58 2012 +0200
@@ -24,7 +24,7 @@
 def read(size):
     data = sys.stdin.read(size)
     if not data:
-        raise EOFError()
+        raise EOFError
     sys.stdout.write(data)
     sys.stdout.flush()
     return data