This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH v2 2/3] GDBServer: introduce --server-output command line option


> From: Cleber Rosa <crosa@redhat.com>
> Cc: crosa@redhat.com, areis@redhat.com
> Date: Wed, 25 Mar 2015 17:47:51 -0300
> 
> This command line option will redirect all of the gdbserver's own
> output (always sent to stderr) to a separate file.  This feature makes
> it possible to distinguish between the inferior process stderr and
> gdbserver's own stderr.  Example use case:
> 
>  $ gdbserver --server-output=log :2222 bin >bin.out 2>bin.err
> 
> Server output will be sent to file named "log", and the inferior
> output and error messages will be on files "bin.out" and "bin.err",
> respectively.
> 
> gdb/Changelog:
> 2015-03-25  Cleber Rosa  <crosa@redhat.com>
> 
> 	* NEWS: New feature in the GDBserver: --server-output.
> 
> gdb/doc/ChangeLog:
> 2015-03-25  Cleber Rosa  <crosa@redhat.com>
> 
> 	* gdb.texinfo (info): Added section on command line and monitor
> 	commands.
> 	(gdbserver man): Added section on new command line option.

OK for the documentation parts, with one comment:

> +Server output will be sent to file named @var{log}, and the inferior
> +output and error messages will be on files @var{bin.out} and
> +@var{bin.err}, respectively.

These all should be @file, not @var, since they are literal file
names.

Thanks.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]