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 OAA19895; Mon, 18 Feb 2002 14:07:29 +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 OAA18748 for ; Mon, 18 Feb 2002 14:07:28 +0100 (MET) Received: from tcs.inf.tu-dresden.de (tcs.inf.tu-dresden.de [141.76.75.101]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g1ID7R520892 for ; Mon, 18 Feb 2002 14:07:27 +0100 (MET) Received: from ithif51 (ithif51 [141.76.75.51]) by tcs.inf.tu-dresden.de (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id g1ID7Ow5025258 for ; Mon, 18 Feb 2002 14:07:25 +0100 (MET) Received: from tews by ithif51 with local (Exim 3.12 #1 (Debian)) id 16cnVs-00047B-00 for ; Mon, 18 Feb 2002 14:07:24 +0100 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15472.64652.573933.952197@gargle.gargle.HOWL> Date: Mon, 18 Feb 2002 14:07:24 +0100 (CET) To: caml-list@inria.fr Subject: [Caml-list] at_exit functions not called during exit X-Mailer: VM 6.75 under Emacs 20.7.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, I noticed that functions registered with Pervasives.at_exit are not called when a C-library function calls exit. Is this a bug or a feature? Assuming it is a feature I experimented with atexit and callbacks to ocaml. Now I have the following question: When a ocaml program is going down, is there a point of time after which I should not callback from C to Ocaml (because libraries/the garbage collector are deinitialised)? If yes, how can I check for this condition? Bye, Hendrik ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr