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