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 RAA14832; Wed, 4 Sep 2002 17:30:35 +0200 (MET DST) 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 RAA21838 for ; Wed, 4 Sep 2002 17:30:34 +0200 (MET DST) Received: from nef.ens.fr (nef.ens.fr [129.199.96.32]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g84FUX120399 for ; Wed, 4 Sep 2002 17:30:33 +0200 (MET DST) Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id g84FUWl88951 for ; Wed, 4 Sep 2002 17:30:32 +0200 (CEST) Received: from localhost (douet@localhost) by clipper.ens.fr (8.12.3/jb-1.1) id g84FUV2T014454 for ; Wed, 4 Sep 2002 17:30:31 +0200 (MET DST) Date: Wed, 4 Sep 2002 17:30:31 +0200 (MET DST) From: Florian Douetteau Reply-To: Florian Douetteau To: caml-list@inria.fr Subject: Re: [Caml-list] Inter-thread exceptions In-Reply-To: <20020904144330.GB1186@iliana> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by amavisd-milter (http://amavis.org/) Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, 4 Sep 2002, Sven LUTHER wrote: > > BTW, also it would be nice to have a (working) way to kill a thread. > There is kill, but it does not seem to be implemented. thread killing is a nice but dangerous feature... Most of the time the client thread has to tell its server when it may be interrupted and when it may not. So that it is simpler that the client code checks periodically a global variable, and stops when it becomes true. Java API used to have a Thread.kill method, but it became deprecated from the 1.1 version. -- Florian ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners