Changeset 7853 in josm
- Timestamp:
- 2014-12-20T13:31:07+01:00 (10 years ago)
- Location:
- trunk
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/io/CachedFile.java
r7835 r7853 66 66 67 67 protected File cacheFile = null; 68 boolean initialized = false; 68 protected boolean initialized = false; 69 69 70 70 public static final long DEFAULT_MAXTIME = -1L; … … 178 178 throw new IOException(tr("Failed to open input stream for resource ''{0}''", name)); 179 179 return is; 180 } else throw new IOException(); 180 } else { 181 throw new IllegalStateException("No file found for something different from a resource: "+name); 182 } 181 183 } 182 184 return new FileInputStream(file); … … 189 191 * @throws IOException when the resource with the given name could not be retrieved 190 192 */ 191 public File getFile() throws IOException { 193 public synchronized File getFile() throws IOException { 192 194 if (initialized) 193 195 return cacheFile; -
trunk/windows/josm-setup-unix.sh
r7844 r7853 121 121 # launch4j - http://launch4j.sourceforge.net/ 122 122 # delete old exe file first 123 /bin/rm -f ${TARGET}.exe 123 /bin/rm -f ${TARGET}*.exe 124 124 $LAUNCH4J "launch4j_${TARGET}.xml" 125 125 # comment previous line and uncomment next one on Windows
Note:
See TracChangeset
for help on using the changeset viewer.