Ignore:
Timestamp:
2008-11-09T22:10:39+01:00 (12 years ago)
Author:
stoecker
Message:

added some plugin checks

Location:
trunk/src/org/openstreetmap/josm/plugins
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java

    r1017 r1073  
    2020import java.net.MalformedURLException;
    2121import java.net.URL;
     22import java.util.Arrays;
    2223import java.util.Collection;
    2324import java.util.regex.Matcher;
     
    7172        private static final Pattern wiki = Pattern.compile("^</td></tr><tr><td><a class=\"ext-link\" href=\"([^\"]*)\"><span class=\"icon\">([^<]*)</span></a></td><td>([^<]*)</td><td>([^<].*)</td><td>(.*)");
    7273
     74        private final static String[] pluginSites = {"http://josm.openstreetmap.de/wiki/Plugins"};
     75
     76        public static Collection<String> getSites() {
     77                return Main.pref.getCollection("pluginmanager.sites", Arrays.asList(pluginSites));
     78        }
     79
    7380        public static int downloadDescription() {
    7481                int count = 0;
     
    94101                return count;
    95102        }
    96 
    97         public static String[] getSites() {
    98             return Main.pref.get("pluginmanager.sites", "http://josm.openstreetmap.de/wiki/Plugins").split(" ");
    99     }
    100103
    101104        private static CharSequence readXml(BufferedReader r) throws IOException {
  • trunk/src/org/openstreetmap/josm/plugins/PluginInformation.java

    r873 r1073  
    3232        public final File file;
    3333        public final String name;
     34        public final String mainversion;
    3435        public final String className;
    3536        public final String description;
     
    8182                                stage = stageStr == null ? 50 : Integer.parseInt(stageStr);
    8283                                version = attr.getValue("Plugin-Version");
     84                                mainversion = attr.getValue("Plugin-Mainversion");
    8385                                author = attr.getValue("Author");
    8486
     
    101103                                // resource-only plugin
    102104                                className = null;
     105                                mainversion = null;
    103106                                description = tr("unknown");
    104107                                early = false;
Note: See TracChangeset for help on using the changeset viewer.