Changeset 4024 in osm for applications/editors/josm/plugins/validator/src

Timestamp:

2007-08-08T22:30:31+02:00 (17 years ago)

Author:

frsantos

Message:

Store version and build date in jar Manifest instead of REVISION file

File:

• applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/util/Util.java (modified) (3 diffs)

applications/editors/josm/plugins/validator/src/org/openstreetmap/josm/plugins/validator/util/Util.java

@@ -8 +8 @@
 import java.net.URLConnection;
 import java.util.StringTokenizer;
-import java.util.regex.Matcher;
-import java.util.regex.Pattern;
 
 import javax.swing.JButton;
@@ -15 +13 @@
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.plugins.Plugin;
+import org.openstreetmap.josm.plugins.PluginInformation;
 import org.openstreetmap.josm.plugins.PluginProxy;
 import org.openstreetmap.josm.tools.ImageProvider;
@@ -81 +80 @@
         public static Version getVersion()
     {
-        String revision;
-        try 
-        {
-                        revision = loadFile(Util.class.getResource("/resources/REVISION"));
-                } 
-        catch (Exception e) 
-        {
-                        return null;
-                }
-
-                Pattern versionPattern = Pattern.compile(".*?Revision: ([0-9]*).*", Pattern.CASE_INSENSITIVE|Pattern.DOTALL);
-                Matcher match = versionPattern.matcher(revision);
-                String version = match.matches() ? match.group(1) : "UNKNOWN";
-
-                Pattern timePattern = Pattern.compile(".*?Last Changed Date: ([^\n]*).*", Pattern.CASE_INSENSITIVE|Pattern.DOTALL);
-                match = timePattern.matcher(revision);
-                String time = match.matches() ? match.group(1) : "UNKNOWN";
-                
-                return new Version(version, time);
+        PluginInformation info = PluginInformation.getLoaded("validator");
+        if( info == null )
+            return null;
+
+                return new Version(info.version, info.attr.get("Plugin-Date"));
     }