Re: [PATCH 4/4] GDBServer: add 'monitor set server-stderr' command

Eli Zaretskii
2015-03-21T08:29:30Z

> From: Cleber Rosa <crosa@redhat.com>
> Cc: crosa@redhat.com, areis@redhat.com
> Date: Fri, 20 Mar 2015 23:34:25 -0300
>
> gdb/doc/Changelog:
> 2015-03-20 Cleber Rosa <crosa@redhat.com>
>
> * gdb.texinfo (info): Add documentation about the 'monitor set
> server-stderr' command

Don't forget the period at the end of the sentence.

> +@item monitor set server-stderr [PATH]

You want "[@var{path}]" instead. And please don't call this "path",
for the reasons I explained in my other message.

> +Redirect the server stderr to a file given by @var{path}.

Same comments as in my other message: instead of referencing "stderr",
reference the server's output.

Thanks.