Changeset 14439 in josm for trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
- Timestamp:
- 2018-11-21T08:29:31+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r14414 r14439 987 987 if (systemProp != null) { 988 988 plugins.addAll(Arrays.asList(systemProp.split(","))); 989 Logging.debug("josm.plugins system property set to ' {0}'. Plugins list is now {1}", systemProp, plugins);989 Logging.debug("josm.plugins system property set to ''{0}''. Plugins list is now {1}", systemProp, plugins); 990 990 } 991 991 monitor.subTask(tr("Removing deprecated plugins..."));
Note:
See TracChangeset
for help on using the changeset viewer.