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 DAA22918; Mon, 19 Mar 2001 03:57:47 +0100 (MET) 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 DAA22788 for ; Mon, 19 Mar 2001 03:57:46 +0100 (MET) Received: from smtp2-cm.mail.eni.net (smtp2-cm.mail.eni.net [216.133.226.135]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f2J2vjv07761 for ; Mon, 19 Mar 2001 03:57:45 +0100 (MET) Received: from checkerlap.d6.com (node-d8e9cca2.powerinter.net [216.233.204.162]) by smtp2-cm.mail.eni.net (8.9.3/8.9.3) with ESMTP id SAA20194 for ; Sun, 18 Mar 2001 18:57:38 -0800 Message-Id: <4.3.2.7.2.20010318184951.02c6ace0@shell16.ba.best.com> X-Sender: def6@shell16.ba.best.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Sun, 18 Mar 2001 18:58:20 -0800 To: caml-list@inria.fr From: Chris Hecker Subject: [Caml-list] faq? gc'd channels & finalize? Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk This must be an FAQ, but I can't find anything about it in the FAQ, the docs, and only a few messages on the caml list early last year... File handles (channels) are not closed on garbage collection, right (my tests indicate they're not)? Why is this (just because no guarantees can be made on when objects will be finalized)? The docs warn against using finalization routines, so it seems like manually doing it (or using a wrapper function, which then has to catch and reraise exceptions) is the only way. Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr