Re: [RFA/NEWS] Mention new feature "Ada tasking support"

Joel Brobecker
2008-10-22T20:18:48Z

> > + info task TASK_NO
> > + Print detailed information about task TASK_NO.
> > + task
> > + Print the ID of the current task.
> > + task TASK_NO
> > + Switch the context of debugging to task TASK_NO.
>
> Is "task ID" the same as "TASK_NO"? If so, let's use a consistent
> terminology: pick one of them and stick to it.

Yes, it's the same. How about:

task
Print the task number of the current task.

?
--
Joel