Don't read entire log into RAM just to print it.

diff --git a/debug/testlib.py b/debug/testlib.py
index 3eeace91ff326600f51f2a77d59327cd95b39b01..996c188efb8aff2a0c41e063cad437322b5361d9 100644 (file)
--- a/debug/testlib.py
+++ b/debug/testlib.py
@@ -540,8 +540,7 @@ def header(title, dash='-', length=78):
 
 def print_log(path):
     header(path)
-    lines = open(path, "r").readlines()
-    for l in lines:
+    for l in open(path, "r"):
         sys.stdout.write(l)
     print