Re: Behavior of java.io.FileOutputStream.getChannel() does not match the spec

2011-02-17 Thread Yixun Zhou
I missed the mail about the fix given by Alan, please just ignore the previous mail. 2011/2/18 Sean Chou > > Oh, I should have done a little more investigation. > > Is there a plan to fix it? I can provide a patch if it is needed. > > 2011/2/17 Alan Bateman > > Sean Chou wrote: >> >>> Hi, >>>

Re: Behavior of java.io.FileOutputStream.getChannel() does not match the spec

2011-02-17 Thread Sean Chou
Oh, I should have done a little more investigation. Is there a plan to fix it? I can provide a patch if it is needed. 2011/2/17 Alan Bateman > Sean Chou wrote: > >> Hi, >> I find there is a mismatch between the spec and the behavior of >> java.io.FileOutputStream.getChannel(). >> >> The spe

Re: Behavior of java.io.FileOutputStream.getChannel() does not match the spec

2011-02-17 Thread Rémi Forax
On 02/17/2011 10:34 AM, Alan Bateman wrote: Sean Chou wrote: Hi, I find there is a mismatch between the spec and the behavior of java.io.FileOutputStream.getChannel(). The spec reads: "The initial position of the returned channel will be equal to the number of bytes written to the file so

Re: Behavior of java.io.FileOutputStream.getChannel() does not match the spec

2011-02-17 Thread Alan Bateman
Sean Chou wrote: Hi, I find there is a mismatch between the spec and the behavior of java.io.FileOutputStream.getChannel(). The spec reads: "The initial position of the returned channel will be equal to the number of bytes written to the file so far unless this stream is in append mode, in