comp.lang.ada
 help / color / mirror / Atom feed
From: Ada BRL <ada.brl.2011@gmail.com>
Subject: Re: Interrupts handling in ADA
Date: Tue, 13 Dec 2011 05:38:34 -0800 (PST)
Date: 2011-12-13T05:38:34-08:00	[thread overview]
Message-ID: <601d5c92-16b2-4430-a462-1e8f4333a16b@c13g2000vbh.googlegroups.com> (raw)
In-Reply-To: 9ab7f79f-fdfc-4f76-adbc-4bb64fc19187@y7g2000vbe.googlegroups.com

On 12 Dic, 15:23, björn lundin <b.f.lun...@gmail.com> wrote:
> On 12 Dec, 04:19, a...@att.net wrote:
>
> >   exception
> >     when Socket_Error =>
> >         if Main'Callable then
> >           Main.Dead ( 1 ) ;
> >         end if ;
> >         Close_Socket ( Socket ) ;
> >   end One ;
>
> Another small nit-picking note.
> The call to Main.Dead may still cause Tasking_Error,
> since the result of Main'Callable may have changed
> during the time between the check and the call.
> Unlikely yes, but still.
>
>      when Socket_Error =>
>          begin
>            Main.Dead ( 1 ) ;
>          exception
>            when Tasking_Error => null; -- or printout
>          end;
>          Close_Socket ( Socket ) ;
>    end One ;
>
> This way the call to Main.Dead will succeed or not,
> but Close_Socket will always be called
>
> --
> Björn Lundin

Thanks for the refinements!

Everyone was very helpful...this was the first time for me on Google
Groups and I would say it's far better than any other forum!!!



  reply	other threads:[~2011-12-13 13:40 UTC|newest]

Thread overview: 46+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-12-10 20:43 Interrupts handling in ADA Ada @ BRL
2011-12-10 21:13 ` Vinzent Hoefler
2011-12-10 22:09 ` Niklas Holsti
2011-12-10 22:27 ` Simon Wright
2011-12-11 20:21   ` Martin Dowie
2011-12-13 13:51     ` Ada BRL
2011-12-13 23:18       ` Martin Dowie
2011-12-13 14:11     ` Niklas Holsti
2011-12-13 14:54       ` Simon Wright
2011-12-13 15:06         ` Ada BRL
2011-12-13 21:49           ` Niklas Holsti
2011-12-13 23:18       ` Martin Dowie
2011-12-13 12:47   ` Ada BRL
2011-12-13 15:07     ` Simon Wright
2011-12-13 15:23       ` Ada BRL
2011-12-13 18:14         ` Simon Wright
2011-12-13 18:56           ` Ada BRL
2011-12-13 19:56           ` Bill Findlay
2011-12-13 22:15         ` Niklas Holsti
2011-12-13 15:34       ` Simon Wright
2011-12-13 17:55         ` Ada BRL
2011-12-13 18:18           ` Dmitry A. Kazakov
2011-12-13 19:01             ` Ada BRL
2011-12-13 19:58               ` Dmitry A. Kazakov
2011-12-13 18:24           ` Simon Wright
2011-12-11  0:15 ` Jeffrey Carter
2011-12-13 12:53   ` Ada BRL
2011-12-11  9:23 ` Dmitry A. Kazakov
2011-12-13 13:11   ` Ada BRL
2011-12-13 14:04     ` Dmitry A. Kazakov
2011-12-13 14:51       ` Ada BRL
2011-12-13 15:02         ` Ada BRL
2011-12-13 15:39         ` Dmitry A. Kazakov
2011-12-13 18:51           ` Ada BRL
2011-12-13 19:51             ` Dmitry A. Kazakov
2011-12-13 23:32             ` georg bauhaus
2011-12-11 12:04 ` Georg Bauhaus
2011-12-13 14:08   ` Ada BRL
2011-12-12  3:19 ` anon
2011-12-12  9:12   ` Niklas Holsti
2011-12-13 13:36     ` Ada BRL
2011-12-12 15:23   ` björn lundin
2011-12-13 13:38     ` Ada BRL [this message]
2011-12-13 13:56       ` Ludovic Brenta
2011-12-13 14:10         ` Ada BRL
2011-12-13 13:31   ` Ada BRL
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox