UI/UserInterface.py

changeset 1360
16d8232fc0fa
parent 1310
7fdcfa822e3e
child 1368
4489ee4feb59
diff -r c1622c708cd9 -r 16d8232fc0fa UI/UserInterface.py
--- a/UI/UserInterface.py	Mon Oct 03 18:52:38 2011 +0200
+++ b/UI/UserInterface.py	Wed Oct 05 19:24:25 2011 +0200
@@ -5534,7 +5534,9 @@
         if reply.error() == QNetworkReply.NoError:
             ioEncoding = Preferences.getSystem("IOEncoding")
             versions = str(reply.readAll(), ioEncoding, 'replace').splitlines()
-        if reply.error() != QNetworkReply.NoError or versions[0].startswith("<"):
+        if reply.error() != QNetworkReply.NoError or \
+           len(versions) == 0 or \
+           versions[0].startswith("<"):
             # network error or an error page
             self.httpAlternative += 1
             if self.httpAlternative >= len(self.__httpAlternatives):

eric ide

mercurial