From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA16591 for caml-redistribution@pauillac.inria.fr; Sat, 18 Mar 2000 18:56:02 +0100 (MET)
Resent-Message-Id: <200003181756.SAA16591@pauillac.inria.fr>
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 EAA27125 for <caml-list@pauillac.inria.fr>; Sat, 18 Mar 2000 04:24:04 +0100 (MET)
Received: from suburbia.net (suburbia.net [203.4.184.1])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id EAA06335
	for <caml-list@inria.fr>; Sat, 18 Mar 2000 04:24:01 +0100 (MET)
Received: by suburbia.net (Postfix, from userid 110)
	id 229496C4F1; Sat, 18 Mar 2000 14:23:54 +1100 (EST)
Sender: proff@suburbia.net
To: caml-list@inria.fr
Subject: finalisation/gc
Cc: proff@iq.org
From: Julian Assange <proff@iq.org>
Date: 18 Mar 2000 14:23:53 +1100
Message-ID: <wxitylrmeu.fsf@suburbia.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Resent-From: weis@pauillac.inria.fr
Resent-Date: Sat, 18 Mar 2000 18:56:02 +0100
Resent-To: caml-redistribution@pauillac.inria.fr


val open_connection : sockaddr -> in_channel * out_channel
        (* Connect to a server at the given address.
           Return a pair of buffered channels connected to the server.
           Remember to call [flush] on the output channel at the right times
           to ensure correct synchronization. *)

Does not close the underlaying file descriptor when GC'd.

Is this the case with other world-state changing types?

Cheers,
Julian.