From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA12211; Wed, 2 May 2001 16:51:16 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA12157 for <caml-list@pauillac.inria.fr>; Wed, 2 May 2001 16:51:15 +0200 (MET DST)
Received: from postfix2-2.free.fr (postfix2-2.free.fr [213.228.0.140])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f42EpE119157
	for <caml-list@inria.fr>; Wed, 2 May 2001 16:51:15 +0200 (MET DST)
Received: from sbuilders.com (nas-cbv-6-9-121.dial.proxad.net [213.228.9.121])
	by postfix2-2.free.fr (Postfix) with ESMTP
	id A66B96B760; Wed,  2 May 2001 16:51:12 +0200 (CEST)
Message-ID: <3AF01E63.D484FA83@sbuilders.com>
Date: Wed, 02 May 2001 16:49:07 +0200
From: Maxence Guesdon <max@sbuilders.com>
Reply-To: max@sbuilders.com
X-Mailer: Mozilla 4.75 [fr] (X11; U; Linux 2.2.16-22 i686)
X-Accept-Language: fr, en
MIME-Version: 1.0
To: Robert Longeon <Robert.Longeon@cnrs-dir.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] 
	=?iso-8859-1?Q?=3D=3Fiso=2D8859=2D1=3FQ=3FComment=5Frediriger=5Fles=5Fentr=E9es=2Fsorties=5F=3F=3D?= 
	standards ?
References: <4.2.0.58.20010502143518.00da89a0@cezanne.auteuil.cnrs-dir.fr>
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk


> Bonjour,
> 
> Je voudrait rediriger les entrées/sorties standards. Je croyais pouvoir le
> faire en tapant :
> 
> let std_out = open_out "c:\projet\entree"
> 
> mais  l'écriture se fait toujours à l'écran. De même en utilisant
> 
> output_string std_out "toto"
> 
> le fichier est toujours vide. Je vois pourquoi, ça ne peut pas marcher ...
> mais y a-t-il un moyen de rediriger les E/S standards ?
Ceci marche sous Unix :

let _ = Unix.close Unix.stdout
let _ = open_out "tutu"

Il est très important que ton fichier ouvert par open_out soit le premier
fichier ouvert après le Unix.close, car le système se servira alors du premier
descripteur libre (0 ici, qui vient d'être libéré par la fermeture de stdout)
lors de l'ouverture de ton fichier, et c'est justement ce descripteur 0 qui est
utilisé par la suite par les opérations d'affichage sur la sortie standard.
Encore une fois, c'est sous Unix, je ne sais pas si le comportement est le même
sous Win$*%#.

--
Maxence Guesdon

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr