Re: Rendezvous with select ... else and "or terminate" not possible - but how do I quit this task?

["J-P. Rosen" <rosen@adalog.fr>]

Le 01/09/2016 à 17:43, Some Dude a écrit :

Small remark: you can get rid of "Done":

task body Connection_Handler is
begin
      accept Start (Socket : Socket_Type) do
        -- do this first
      end Start;
      loop
         select
            accept Stop;
            exit;
         or
            accept Send (Socket : Socket_Type; Command : Command_Type) do
               -- do something
            end Send;
         or
            accept Close (Socket : Socket_Type) do
               -- do something
             end Close;
         else
             -- receive data if necessary using GNAT.sockets.Check_Selector
             -- while no data is sent
         end select;
      end loop;
end Connection_Handler;

> However, when Stop is called and Done set to True, I get 
> 
>   raised TASKING_ERROR : s-tasren.adb:445
Presumably, this is due to some other task trying to rendezvous with
Connection_Handler after it has completed.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr