[GAP] Deferred task aborting and get_immediate

[Pierre Habraken]

Hello,

I am using GNAT GPL 2006.

When the task below is blocked in get_immediate, it can not be aborted 
using the statement "abort TacheEcouteClavier" : aborting the task is 
deferred until get_immediate returns.

Is this a feature of the language or a particularity of Gnat 
implementation ?

Thanks for any info.

Pierre

====================================
task body TacheEcouteClavier is
    caractere_recu : Character;
    use Ada.Text_IO;
begin
    accept demarrer;
    loop
       get_immediate(caractere_recu);
       ...
    end loop;
end TacheEcouteClavier;
====================================
-- 
Pierre HABRAKEN - mailto:Pierre.Habraken at imag.fr
Tél: 04 76 82 72 46 - Fax: 04 76 82 72 87
IMAG-LSR BP72 38402 SAINT MARTIN D'HERES Cedex