RFC: change "program exited" message

[Pedro Alves]

Thanks for address this.  It's an overdue change.

On Thursday 03 March 2011 20:51:44, Tom Tromey wrote:
> This patch changes GDB to print:
> 
>     [Inferior 25036 exited normally]

That number is the PID, but "Inferior" should go with
GDB's inferior id, otherwise, it's quite confusing.

>     [Inferior 25036 exited normally]

I suggest, modelled on how we print threads:

"[Inferior " + inferior->num + "(" target_pid_to_string (pid_to_ptid (inf->pid)) + ")" + $whathappened + "]"

Should render on Linux as:

[Inferior 1 (process 25036) exited normally]

and against remote targets when gdb doesn't
know the target pid:

[Inferior 1 (Remote target) exited normally]

-- 
Pedro Alves