RFC: change "program exited" message

[Eli Zaretskii]

> From: Pedro Alves <pedro@codesourcery.com>
> Date: Thu, 3 Mar 2011 21:20:49 +0000
> Cc: Tom Tromey <tromey@redhat.com>
> 
> 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]

I agree with this.  It is important that "New process 25036" and
whatever we display when that process exits have some words in common.