-
Bug
-
Resolution: Fixed
-
Major
-
None
-
None
The class "TemporarySpaceMonitor" deletes the temporary directory specified by the java.io.tmpdir property. Usually the directory cannot be deleted because it contains files, but if the directory happens to be empty, it is deleted.
This code is from TemporarySpaceMonitor.java:
try {
f = new File(System.getProperty("java.io.tmpdir"));
// ...
} catch (LinkageError e) {
// pre-mustang
return null;
} finally {
f.delete();
}
The call to f.delete() must be removed.