Changeset 12643
- Timestamp:
- 05/01/10 14:24:57 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/abcl/src/org/armedbear/lisp/ZipCache.java
r12612 r12643 183 183 if (url.getProtocol().equals("file")) { 184 184 entry = new Entry(); 185 File f = new File(url.getPath()); 185 String path = url.getPath(); 186 187 if (Utilities.isPlatformWindows) { 188 String authority = url.getAuthority(); 189 if (authority != null) { 190 path = authority + path; 191 } 192 } 193 File f = new File(path); 186 194 entry.lastModified = f.lastModified(); 187 195 try {
Note: See TracChangeset
for help on using the changeset viewer.