Re: timer_server triggers Task_Termination handler

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:nfcjmm$1nei$1@gioia.aioe.org...
...
> I think it should be the task's master to which all task events are 
> reported. The master can propagate them further.

That's how general termination handlers work. In this case, the "master" is 
the environment task, which is the master of all tasks in the Ada program 
(recall that masters are nested, most tasks belong a number of masters). The 
question here is whether the Ada implementer should be deciding that some 
tasks should be excluded from such reporting.

                                Randy.