Am Mittwoch, den 02.11.2005, 15:32 +0100 schrieb Julien Narboux:
> >
> >There is a hack that works (Xavier forgive):
> >  
> >
> I just implemented your hack in drgeocaml, it works fine ! (under linux 
> at least , I have not tested on Windows yet)

I think it works under Windows, too, although not tested. The way
threads are implemented is basically the same. From reading the sources,
I only saw that under Windows Sys.sigterm is used instead of
Sys.sigvtalrm, maybe this is a special kind of joke. (Note that this
type of signal is purely virtual, i.e. not routed over the OS, so it
does not matter that Windows has no signals.)

Gerd
-- 
------------------------------------------------------------
Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany 
gerd@gerd-stolpmann.de          http://www.gerd-stolpmann.de
Telefon: 06151/153855                  Telefax: 06151/997714
------------------------------------------------------------