On 29/09/2014 13:53, Daniel Fuchs wrote:
Do you mean that calling delete() will not close the file?
That's right.
:
- 233 FileChannel.open(Paths.get(file + ".lck"), CREATE_NEW, WRITE);
- 234 FileChannel.open(Paths.get(file + ".1.lck"), CREATE_NEW, WRITE);
+ 233 FileChannel.open(Paths.get(file + ".lck"), CREATE_NEW, WRITE)
.close();
+ 234 FileChannel.open(Paths.get(file + ".1.lck"), CREATE_NEW, WRITE)
.close();
http://cr.openjdk.java.net/~dfuchs/webrev_8059269/webrev.01
That is okay, alternatively just use Files.createFile.
-Alan