Changeset 5145 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2012-03-31T19:22:21+02:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r5121 r5145 145 145 146 146 final public static String [] UNMAINTAINED_PLUGINS = new String[] {"gpsbabelgui", "Intersect_way"}; 147 148 /** 149 * Default time-based update interval, in days (pluginmanager.time-based-update.interval) 150 */ 151 public static final int DEFAULT_TIME_BASED_UPDATE_INTERVAL = 30; 147 152 148 153 /** … … 268 273 long tim = System.currentTimeMillis(); 269 274 long last = Main.pref.getLong("pluginmanager.lastupdate", 0); 270 Integer maxTime = Main.pref.getInteger("pluginmanager.time-based-update.interval", 60);275 Integer maxTime = Main.pref.getInteger("pluginmanager.time-based-update.interval", DEFAULT_TIME_BASED_UPDATE_INTERVAL); 271 276 long d = (tim - last) / (24 * 60 * 60 * 1000l); 272 277 if ((last <= 0) || (maxTime <= 0)) {
Note:
See TracChangeset
for help on using the changeset viewer.