Utilities/__init__.py

changeset 1316
0bb67aced672
parent 1309
6caa231421cf
child 1329
ac21bb9cf8b9
--- a/Utilities/__init__.py	Tue Sep 13 19:41:54 2011 +0200
+++ b/Utilities/__init__.py	Wed Sep 14 19:46:36 2011 +0200
@@ -1277,7 +1277,7 @@
         else:
             index = 6
             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