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.
next prev 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