Re: Advice on abort

[Simon Wright <simon@pushface.org>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> Close that socket from another task. That should end the blocking
> I/O on the socket with some error code. And the task will become
> ready accept a rendezvous.

We have recently been bitten by OS-dependent behaviour in this area.

On Windows, the read fails immediately with an
GNAT.Sockets.Socket_Error exception. However, on VxWorks and Linux
(and possibly other OS's), you get a successful read of *zero* bytes
(at any rate, fewer than you requested) and the exception only happens
on the next read.

Of course, getting a short read may end up with an
Ada.IO_Exceptions.End_Error anyway (we had forgotten to check the
length :-( ).