Re: How to tell whether program finalization can be suppressed

[Robert Eachus <rieachus@comcast.net>]

On Saturday, December 2, 2017 at 6:12:13 AM UTC-5, AdaMagica wrote:
> 
> Just to refresh my memory:
> The main subprogram is the master of any library tasks. It may be empty (I just confirmed this with a little test) and thus does not exit until all library tasks are terminated or waiting on a terminate alternative.
> 
> with Lib;  -- in the elaboration sequence, there are some tasks
> procedure Main is
> begin
>   null;  -- waiting here for tasks to terminate
> end Main;

No, the environment task is the master of library level tasks.  It doesn't matter in your test case since the waiting will occur after the main program completes.  If the desire is not to wait after the main program finishes, end it with an abort statement.  Nicer means of program shutdown when the main program completes are left as an exercise for the reader.