Anastasia Gornostaeva wrote:
> When in a programm is used timer.ml [...], it is not possible to open
> connections to some servers using Unix.open_connection -- the program 
> always get EINTR.
> Platform idepedent (noticed on freebsd and linux debian).

Of course it is platform independent, this is the POSIX mandated behaviour of
connect. See the man pages for connect, select, poll.

This is not generally considered the brightest part of the POSIX spec:
http://www.eleves.ens.fr:8080/home/madore/computers/connect-intr.html

Yours, Florian.