Browse thread
[Caml-list] Inter-thread exceptions
-
Lauri Alanko
-
Sven LUTHER
- Florian Douetteau
- Xavier Leroy
-
Sven LUTHER
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Florian Douetteau <douet@c...> |
| Subject: | Re: [Caml-list] Inter-thread exceptions |
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