Changeset 1711 in josm for trunk/src/org/openstreetmap/josm/io
- Timestamp:
- 2009-06-28T14:40:12+02:00 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java
r1523 r1711 21 21 public class MirroredInputStream extends InputStream { 22 22 InputStream fs = null; 23 File file = null; 23 24 24 25 public MirroredInputStream(String name) throws IOException { … … 30 31 } 31 32 33 public MirroredInputStream(String name, String destDir) throws IOException { 34 this(name, destDir, -1L); 35 } 36 32 37 public MirroredInputStream(String name, String destDir, long maxTime) throws IOException { 33 38 URL url; 34 File file = null;35 39 try { 36 40 url = new URL(name); … … 53 57 throw new IOException(); 54 58 fs = new FileInputStream(file); 59 } 60 61 public File getFile() 62 { 63 return file; 55 64 } 56 65
Note:
See TracChangeset
for help on using the changeset viewer.