System calls, Unix.close, signals, EINTR

Perry! That is very pragmatic of you! But that would mean I would have to get on with real work :frowning:

Anyway, I think I now understand the situation better. Thanks to all.