From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 82B1F7F0D9
	for <caml-list@sympa.inria.fr>; Tue, 25 Aug 2015 13:52:39 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.15,745,1432591200"; 
   d="scan'208";a="174773641"
Received: from hp-sebastien.rsr.lip6.fr (HELO pl-59055.rocqadm.inria.fr) ([132.227.76.32])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Aug 2015 13:52:39 +0200
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.86)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1ZUCmO-0003K1-4y
	for caml-list@inria.fr; Tue, 25 Aug 2015 13:52:40 +0200
Date: Tue, 25 Aug 2015 13:52:40 +0200
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20150825115240.GA11978@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
References: <20150823021901.Horde.g_vEwwFL7xNJIFXFf3LPIcu@webmail.in-berlin.de>
 <20150824121920.GE1536@pl-59055.rocqadm.inria.fr>
 <1440500993.3985.2.camel@e130.lan.sumadev.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <1440500993.3985.2.camel@e130.lan.sumadev.de>
Subject: Re: [Caml-list] Setting Pervasive's stderr to unbuffered as
 default?

Hi,

Gerd Stolpmann (2015/08/25 13:09 +0200):
> I cannot follow. Pervasives.stderr is unbuffered;

How do you know, actually?

If it would be, then th flushes in the functions dealing with stderr
that you showed wold not be necessary,would they?
Thanks!

Sébastien.