devtools/devctl.py
changeset 5762 730d458ec1bf
parent 5627 a7e40cccdc9b
parent 5755 ca9e1c9123d7
child 5775 34195230dc2a
--- a/devtools/devctl.py	Wed Jun 16 09:21:49 2010 +0200
+++ b/devtools/devctl.py	Wed Jun 16 14:51:17 2010 +0200
@@ -650,7 +650,7 @@
             except OSError, ex:
                 raise BadCommandUsage("can't open rql log file %s: %s"
                                       % (filepath, ex))
-            for lineno, line in enumerate(file):
+            for lineno, line in enumerate(stream):
                 if not ' WHERE ' in line:
                     continue
                 try: