- Timestamp:
- 2005-05-17T13:17:39+12:00 (19 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/gli/src/org/greenstone/gatherer/GathererApplet.java
r9884 r9896 171 171 if (!tmp_dir.exists()) { 172 172 tmp_dir.mkdir(); 173 174 String username = System.getProperty("user.name"); 175 if ((username != null) && (username != "")) { 176 File user_tmp_dir = new File(Utility.TMP_DIR + File.separator + username); 177 if (!user_tmp_dir.exists()) { 178 user_tmp_dir.mkdir(); 179 } 180 } 173 181 } 174 182
Note:
See TracChangeset
for help on using the changeset viewer.