- Timestamp:
- 2001-04-04T11:29:46+12:00 (23 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/java-client/org/nzdl/gsdl/util/NzdlPreferences.java
r2273 r2277 49 49 try { 50 50 _preferences = new Properties(); 51 File file = new File(preferencesFileName); 51 String dir = System.getProperties().getProperty("user.home"); 52 String sep = System.getProperties().getProperty("file.separator"); 53 54 File file = new File(dir + sep + preferencesFileName); 52 55 InputStream stream = new FileInputStream(file); 53 56 _preferences.load(stream); … … 61 64 return; 62 65 try { 63 File file = new File(preferencesFileName); 66 String dir = System.getProperties().getProperty("user.home"); 67 String sep = System.getProperties().getProperty("file.separator"); 68 69 File file = new File(dir + sep + preferencesFileName); 64 70 OutputStream stream = new FileOutputStream(file); 65 71 _preferences.store(stream,"Preferences ...");
Note:
See TracChangeset
for help on using the changeset viewer.