comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: How to tell whether program finalization can be suppressed
Date: Mon, 4 Dec 2017 14:25:21 -0600
Date: 2017-12-04T14:25:21-06:00	[thread overview]
Message-ID: <p04avh$vht$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: c07c2ffa-1f0e-418f-b447-986db8ceb343@googlegroups.com

"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.


  parent reply	other threads:[~2017-12-04 20:25 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-12-01 21:39 How to tell whether program finalization can be suppressed Simon Wright
2017-12-01 22:43 ` Randy Brukardt
2017-12-02  9:48   ` Simon Wright
2017-12-04 20:18     ` Randy Brukardt
2017-12-04 22:41     ` Simon Wright
2017-12-02 11:12   ` AdaMagica
2017-12-03 17:16     ` Robert Eachus
2017-12-04 11:58       ` AdaMagica
2017-12-04 14:36         ` Robert Eachus
2017-12-04 17:16           ` AdaMagica
2017-12-04 18:21             ` Jeffrey R. Carter
2017-12-04 20:25             ` Randy Brukardt [this message]
2017-12-04 20:22         ` Randy Brukardt
2017-12-02  3:08 ` Robert Eachus
2017-12-27 15:49 ` Simon Wright
replies disabled

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