src/eric7/PluginManager/PluginInstallDialog.py

branch
eric7
changeset 10080
f834e57a5b13
parent 10061
8bdad5699288
child 10428
a071d4065202
--- a/src/eric7/PluginManager/PluginInstallDialog.py	Sat May 27 18:57:32 2023 +0200
+++ b/src/eric7/PluginManager/PluginInstallDialog.py	Sat May 27 20:03:31 2023 +0200
@@ -340,7 +340,7 @@
         insideHeader = False
         for line in pluginSource.splitlines():
             line = line.strip()
-            if line.startswith("# Start-Of-Header"):
+            if line.lower().startswith("# start-of-header"):
                 insideHeader = True
                 continue
 
@@ -351,7 +351,7 @@
                 # it is a new style header
                 separator = ":"
                 continue
-            elif line.startswith("# End-Of-Header"):
+            elif line.lower().startswith("# end-of-header"):
                 break
 
             with contextlib.suppress(ValueError):

eric ide

mercurial