equal
deleted
inserted
replaced
408 FileChannel fc = this.channel; |
408 FileChannel fc = this.channel; |
409 if (fc == null) { |
409 if (fc == null) { |
410 synchronized (this) { |
410 synchronized (this) { |
411 fc = this.channel; |
411 fc = this.channel; |
412 if (fc == null) { |
412 if (fc == null) { |
413 this.channel = fc = FileChannelImpl.open(fd, path, false, true, this); |
413 this.channel = fc = FileChannelImpl.open(fd, path, false, |
|
414 true, false, this); |
414 if (closed) { |
415 if (closed) { |
415 try { |
416 try { |
416 // possible race with close(), benign since |
417 // possible race with close(), benign since |
417 // FileChannel.close is final and idempotent |
418 // FileChannel.close is final and idempotent |
418 fc.close(); |
419 fc.close(); |