On Friday 12 September 2008 17:09:26, Eli Zaretskii wrote:
> > From: Pedro Alves <pedro@codesourcery.com>
> > Date: Fri, 12 Sep 2008 16:38:58 +0100
> >
> > -      if (extended)
> > -	puts_filtered ("Detached from remote process.\n");
> > +      if (rs->multi_process_aware)
> > +	printf_filtered ("Detached from %s.\n",
> > +			 target_pid_to_str (pid_to_ptid (pid)));
> >        else
> > -	puts_filtered ("Ending remote debugging.\n");
> > +	{
> > +	  /* Unregister the file descriptor from the event loop.  */
> > +	  if (target_is_async_p ())
> > +	    serial_async (remote_desc, NULL, 0);
> > +
> > +	  if (extended)
> > +	    puts_filtered ("Detached from remote process.\n");
> > +	  else
> > +	    puts_filtered ("Ending remote debugging.\n");
> > +	}
>
> Please put all user-visible messages inside _().

Ah, good catch.  While we're at it, let's fix those.  Done.  Thanks.

-- 
Pedro Alves