Changeset 15187 in josm for trunk/src/org

Timestamp:

2019-06-22T16:23:31+02:00 (5 years ago)

Author:

Don-vip

Message:

see #17835 - detect invalid plugin versions

File:

• trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java

@@ -246 +246 @@
         stage = stageStr == null ? 50 : Integer.parseInt(stageStr);
         version = attr.getValue("Plugin-Version");
+        if (version != null && !version.isEmpty() && version.charAt(0) == '$') {
+            invalidManifestEntries.add("Plugin-Version");
+        }
         s = attr.getValue("Plugin-Mainversion");
         if (s != null) {