Re: requeue with abort and timed call

[sjw <simon.j.wright@mac.com>]

9.7.2(5) says "If the call is queued (including due to a requeue-with-
abort), and not selected before the expiration time is reached, an
attempt to cancel the call is made." But in your code, the call has
been selected, just not completed (English usage, not RM language).

If you say

         accept Original_Call do
            Put_Line ("Original Call...");
            requeue Requeued_Call with abort;
         end Original_Call;
         -- takes three seconds
         delay 3.0;
         Put_Line ("Original Call Done");

it behaves more reasonably (I think; it depends what you were trying
to do):

./req
Original Call...
Aborting
Parent Done
Original Call Done
^C