Christoph Bauer wrote:
<snip>
> I'm not quite sure what is going on, but my best bet is this: the main
> loop waits for the sockets with
> 
> Unix.select listOfSockets [] [] timeout
> 
> One socket is the listener socket on which new connections
> are made. Unix.select returns a list of sockets. Initially
> it must be the listener socket. This is checked with a compare
> 
>   socket = listenSocket
> 
> and this seems to be suddenly wrong (just in the thread case).
> 
> Any ideas?

I can't tell you explicitly why it has failed, but Unix.select was
completely rewritten for OCaml 3.11.0 based on a big contribution from
Sylvain Le Gall (see otherlibs/win32unix/select.c). The principal aim was to
make the semantics of Unix.select the same between *NIX and Windows so if it
works on Linux then it sounds like you've hit a bug...


David