[RFC] Implement 'detach pid'.

[Eli Zaretskii]

> Cc: gdb-patches@sources.redhat.com
> From: Tom Tromey <tromey@redhat.com>
> Reply-To: tromey@redhat.com
> Date: Sat, 05 Jul 2008 11:21:03 -0600
> 
> >>>>> "Vladimir" == Vladimir Prus <vladimir@codesourcery.com> writes:
> 
> Vladimir> As Marc has noted, -target-detach does not accept a pid to
> Vladimir> detach from, and CLI detach does not accept pid either. This
> Vladimir> patch fixes it. Does it look OK?
> 
> Channelling Eli here

Thanks!