From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: How to tell whether program finalization can be suppressed
Date: Mon, 4 Dec 2017 14:25:21 -0600
Organization: JSA Research & Innovation
Message-ID: <p04avh$vht$1@franka.jacob-sparre.dk>
References: <lyzi729lh2.fsf@pushface.org>
 <ovslub$ajk$1@franka.jacob-sparre.dk>
 <ca4c9516-0781-4d72-97c4-b52004a502bb@googlegroups.com>
 <3dcad98b-d517-4c3a-a77b-dd584c143b2c@googlegroups.com>
 <d9039b0d-993b-49e1-9bde-6a079bddec65@googlegroups.com>
 <81ab6eef-e4e0-40d4-a90e-4c207fa67b3e@googlegroups.com>
 <c07c2ffa-1f0e-418f-b447-986db8ceb343@googlegroups.com>
Injection-Date: Mon, 4 Dec 2017 20:25:21 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="32317"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:49362
Date: 2017-12-04T14:25:21-06:00
List-Id: <comp.lang.ada>

"AdaMagica" <christ-usch.grein@t-online.de> wrote in message 
news:c07c2ffa-1f0e-418f-b447-986db8ceb343@googlegroups.com...
...
>> I wasn't disagreeing with Randy, except maybe to make it clearer that
>> library level tasks can continue to run after the main program completes.
>>  I was disagreeing with your statement that the main program is the
>> master of library-level tasks.  Didn't matter in your example, but I 
>> could
>> probably gin up an example.  Hmm.  Something with
>> Ada.Text_IO.File_Types and reassignment of Current_Output? I usually
>> keep the main program around to print out a message when the program
>> completes successfully, but that's personal style.
>
>You don't get my point. Randy said, when the main exits, the env task
> completes, and that's not true as my example shows.

??? You need to go back and read the definition of task termination. 
Finalization and task waiting happen *after* a task completes and before it 
terminates (that's why those are separate terms!!!)

                              Randy.