[
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: | Paolo Donadeo <p.donadeo@g...> |
| Subject: | Re: [Caml-list] Thread.delay to raise EINTR exception ? |
It's a known pitfall. Read this discussion of some months ago: http://caml.inria.fr/pub/ml-archives/caml-list/2010/08/242cee79bb97e86bc93bc6bd88d2f256.en.html -- Paolo