Re: Ada and (SIGTERM?)

[Adam Beneschan <adam@irvine.com>]

On Aug 5, 12:58 pm, Tomek Walkuski <tomek.walku...@gmail.com> wrote:
> Consider program with infinite loop, it simply acts as a server.
>
> How to kill it gracefully with housekeeping (finalization etc)?

I suppose "gracefully" precludes pulling the computer's plug out of
the wall?

If I understand, by the subject line, that this program is running on
some Unix-like system and you'd like the program to respond to a
signal and terminate gracefully: did you look at RM C.3?  It seems to
me you could set up an interrupt handler to catch SIGTERM and have it
set a global Boolean variable (make sure to use the Volatile pragma on
the variable), then instead of an "infinite" loop, make the loop
"while not Terminate loop" ... where Terminate is the global variable
that gets set by the interrupt handler.  The details depend on your
Ada implementation.  But that's one simple way to accomplish it.  No
doubt there are other ways, and probably better ones (e.g. the
interrupt handler, which must be a procedure in a protected object,
could set a Boolean in the protected object that controls a protected
entry in the object that could be used in a "select" statement, or
something like that).  In any case, C.3 is the place to start.

                                   -- Adam