List,
  I'm trying to suspend a thread and then
have another thread wake it up. However, 
I can't find a suspend (nor a dual wake-up) function in 
the Threads library. 

  Any help? 

  Thanks, 
	Ohad.
----------------------------------------------------------
orodeh@cs.huji.ac.il
www.cs.huji.ac.il/~orodeh




-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr