[AWS] Is there a session closed call back?

[Pascal Obry]

Michael Erdmann a écrit :
> Dear all,
> 
> is there a call back which indicates that a session is not valid any
> more?

Yes, see aws-session.ads:

   ----------------------
   -- Session Callback --
   ----------------------

   type Callback is access procedure (SID : in Id);
   --  Callback procedure called when a sesssion is deleted from the
   --  server.

   procedure Set_Callback (Callback : in Session.Callback);
   --  Set the callback procedure to call when a session is deleted from
   --  the server. If Callback is Null the session's callback will be
   --  removed.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.net
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595