Changeset 6851 in josm for trunk/src/org/openstreetmap/josm/data/Preferences.java
- Timestamp:
- 2014-02-14T12:03:27+01:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r6798 r6851 1288 1288 } 1289 1289 1290 private void updateSystemProperty(String key, String value) { 1290 /** 1291 * Updates a given system property. 1292 * @param key The property key 1293 * @param value The property value 1294 * @return the previous value of the system property, or {@code null} if it did not have one. 1295 * @since 6851 1296 */ 1297 public static String updateSystemProperty(String key, String value) { 1291 1298 if (value != null) { 1292 1299 String old = System.setProperty(key, value); 1293 1300 Main.debug("System property '"+key+"' set to '"+value+"'. Old value was '"+old+"'"); 1294 } 1301 return old; 1302 } 1303 return null; 1295 1304 } 1296 1305
Note:
See TracChangeset
for help on using the changeset viewer.