PluginManager/PluginManager.py

changeset 5588
6ba512d9f46a
parent 5555
5ece4e830780
child 5726
e1dbd217214a
diff -r ea526b78ee6c -r 6ba512d9f46a PluginManager/PluginManager.py
--- a/PluginManager/PluginManager.py	Tue Mar 07 18:53:18 2017 +0100
+++ b/PluginManager/PluginManager.py	Tue Mar 07 19:46:57 2017 +0100
@@ -1277,12 +1277,12 @@
                 return
             
             # 3. Check the version of the archive file
-            zip = zipfile.ZipFile(archive, "r")
+            zipFile = zipfile.ZipFile(archive, "r")
             try:
-                aversion = zip.read("VERSION").decode("utf-8")
+                aversion = zipFile.read("VERSION").decode("utf-8")
             except KeyError:
                 aversion = ""
-            zip.close()
+            zipFile.close()
             
             if aversion != version:
                 self.__updateAvailable = True

eric ide

mercurial