--- 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], [])