Re: [Caml-list] Problem with un-flushed output getting mangled

[Taylor Venable <taylor@metasyntax.net>]

2011/10/1 Török Edwin <edwintorok@gmail.com>:
> On 10/01/2011 04:55 AM, Taylor Venable wrote:
>> On Fri, Sep 30, 2011 at 05:45, Jerome Vouillon <vouillon@pps.jussieu.fr> wrote:
>>> On Thu, Sep 29, 2011 at 08:00:47PM -0400, Taylor Venable wrote:
>>>> My trouble is this: if I fail to call flush on the output channels in
>>>> step #4, I get mangled output. By mangled I mean that in the middle of
>>>> one line, suddenly the data from another line appears. The other line
>>>> exists elsewhere in the output. Sometimes lines are simply duplicated.
>>>
>>> Are you using Unix.fork? When you fork, the buffers are duplicated and
>>> can thus end up being flushed several times. In particular, the 'exit'
>>> function from the Pervasives module flushes all open output channels.
>>> I don't have a good workaround. You can call 'flush_all' before
>>> forking, but any write error is silently ignored by this function.
>>> Or use 'Unix.execv "/bin/true" [||]' rather than 'exit' to terminate
>>> subprocesses.
>>
>> Nope, I'm not forking. I also tried putting an explicit exit at the
>> end of my program, but I already close_out my file before then so it
>> doesn't make a difference. Thanks for the ideas, though.
>>
>
> Do you use threads?

No, I'm not using threads.

-- 
Taylor C. Venable
http://metasyntax.net/