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 PAA10838; Thu, 15 Feb 2001 15:35:38 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA10890 for ; Thu, 15 Feb 2001 15:35:37 +0100 (MET) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f1FEZbj17470; Thu, 15 Feb 2001 15:35:37 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id PAA30984; Thu, 15 Feb 2001 15:35:37 +0100 Date: Thu, 15 Feb 2001 15:35:37 +0100 From: Daniel de Rauglaudre To: Damien Doligez Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: behaviour of Unix.shutdown_connection Message-ID: <20010215153537.A30408@verdot.inria.fr> References: <200102151420.PAA0000032585@beaune.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0us In-Reply-To: <200102151420.PAA0000032585@beaune.inria.fr>; from Damien.Doligez@inria.fr on Thu, Feb 15, 2001 at 03:20:41PM +0100 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Feb 15, 2001 at 03:20:41PM +0100, Damien Doligez wrote: > So you must close the out_channel that was returned by > Unix.open_connection, but not the in_channel; and this is true whether > you called Unix.shutdown_connection or not. > > Warning: I have not tested it. If you proved it correct, no problem. -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr