Re: [RFC] Notification for attach/detach.

[Eli Zaretskii <eliz@gnu.org>]

> From: Vladimir Prus <vladimir@codesourcery.com>
> Date: Fri, 14 Nov 2008 20:17:33 +0300
> Cc: gdb-patches@sources.redhat.com
> 
> > > +@deftypefun void inferior_exit (int @var{pid})
> > > +The inferior identified by @var{pid} has either exited, or was detached
> > > +from.
> > > +@end deftypefun
> > > +
> >
> > This part should be reviewed by Eli. The documentation for the first
> > observer looks fine to me, but I find the second one a little awkward.
> > Perhaps Eli will have another one of his good suggestions. In the
> > meantime, perhaps the following would do:
> >
> >   The inferior identified by @var{pid} has exited, or @value{GDBN}
> >   detached from it.
> 
> Eli,
> can you comment?

Another possible variant would be

  Either @value{GDBN} detached from the inferior, or the inferior
  exited.  The argument @var{pid} identifies the inferior.