On Friday 08 August 2008 04:39:17, Pedro Alves wrote:
> +  go32_ops.to_stop = go32_thread_alive;
> +  go32_ops.to_stop = go32_pid_to_str;

Well, this is probably a hint I should get to sleep.  :-)

Updated patch attached.

OK?

-- 
Pedro Alves