From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA12157 for caml-red; Mon, 12 Feb 2001 19:15:20 +0100 (MET)
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 OAA06993 for <caml-list@pauillac.inria.fr>; Mon, 12 Feb 2001 14:55:12 +0100 (MET)
Received: from alan-schm1p (alan-schm1p.inria.fr [128.93.20.79])
	by concorde.inria.fr (8.11.1/8.10.0) with SMTP id f1CDtCL24186
	for <caml-list@inria.fr>; Mon, 12 Feb 2001 14:55:12 +0100 (MET)
Received: by alan-schm1p (sSMTP sendmail emulation); Mon, 12 Feb 2001 14:52:31 +0100
From: Alan Schmitt <alan.schmitt@inria.fr>
Date: Mon, 12 Feb 2001 14:52:31 +0100
To: caml-list@inria.fr
Subject: behaviour of Unix.shutdown_connection
Message-ID: <20010212145231.B8694@alan-schm1p.inria.fr>
Mail-Followup-To: caml-list@inria.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
User-Agent: Mutt/1.2i
Organization: INRIA Rocquencourt 
Sender: weis@pauillac.inria.fr

If I open a connection with Unix.open_connection, and shut it down
with Unix.shutdown_connection, do I still need to call close_in and
close_out on the two channels ? 

Si j'ouvre une connexion avec Unix.open_connections, et la ferme avec
Unix.shutdown_connection, est-il nécessaire que je ferme les deux
canaux par close_in et close_out ?

Amicalement,

Alan Schmitt

--
The hacker: someone who figured things out and made something cool happen.