Utilities/__init__.py

branch
5_1_x
changeset 1317
aa16b0456e8f
parent 1175
93655105b6de
child 1328
deda60e0670a
diff -r 2136f10a9110 -r aa16b0456e8f Utilities/__init__.py
--- a/Utilities/__init__.py	Thu Sep 08 19:38:39 2011 +0200
+++ b/Utilities/__init__.py	Wed Sep 14 19:46:52 2011 +0200
@@ -1186,7 +1186,7 @@
         else:
             index = 5
             warnings = []
-            while index < len(output):
+            while len(output) - index > 3:
                 if output[index] == "FLAKES_ERROR":
                     return (True, output[index + 1], output[index + 2], "", 
                             output[index + 3], [])

eric ide

mercurial