Re: [PATCH 3/4] New agent command 'kill' and used by gdbserver

Eli Zaretskii
2012-06-14T16:37:21Z

> From: Yao Qi <yao@codesourcery.com>
> Date: Thu, 14 Jun 2012 22:50:01 +0800
> CC: <gdb-patches@sourceware.org>
>
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -33585,6 +33585,10 @@ for an error
>
> @end table
>
> +@item close
> +Closes the in-process agent. This command is sent when @value{GDBN} or GDBserver
> +is about to kill inferiors.
> +

Shouldn't there be a "Reply" section, as with other commands?

If not, this part is OK with me.

Thanks.