From: Florian Douetteau <douet@clipper.ens.fr>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Inter-thread exceptions
Date: Wed, 4 Sep 2002 17:30:31 +0200 (MET DST) [thread overview]
Message-ID: <Pine.SOL.4.44.0209041722050.9895-100000@clipper.ens.fr> (raw)
In-Reply-To: <20020904144330.GB1186@iliana>
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
next prev parent reply other threads:[~2002-09-04 15:30 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-09-03 13:48 Lauri Alanko
2002-09-04 14:43 ` Sven LUTHER
2002-09-04 15:30 ` Florian Douetteau [this message]
2002-09-05 11:30 ` Xavier Leroy
2002-09-06 18:22 ` Dmitry Bely
2002-09-09 14:15 ` Xavier Leroy
2002-09-11 20:41 ` Dmitry Bely
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.SOL.4.44.0209041722050.9895-100000@clipper.ens.fr \
--to=douet@clipper.ens.fr \
--cc=Florian.Douetteau@ens.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox