Re: Ada.Task_Identification.Abort_Task (Environment_Task) ;

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org> writes:

> Fair enough. I'm going to have to review the code in question when I get a
> chance to revisit it (back to being busy with "real" work...:-) They may be
> hanging on some abort-defer region as you suggest, but it would be simpler
> to have some kind of "Kill this process and I really, really mean it!"
> command.

Well, you can call "exit" via pragma Import.  I agree that it would be
nice to have such a feature as a standard part of the language.

But note that with such a feature, whatever finalization actions you
wrote will be skipped.  (If they aren't skipped, then the feature
doesn't do what you said above, because finalization might loop.)
If you're running on a real operating system, it might be perfectly OK
to skip finalization, since the OS has to clean up anyway.

- Bob