This is the mail archive of the
mailing list for the GDB project.
Re: set record query <on|off>
- From: Tom Tromey <tromey at redhat dot com>
- To: Marc Khouzam <marc dot khouzam at ericsson dot com>
- Cc: "'gdb-patches\ at sourceware dot org'" <gdb-patches at sourceware dot org>
- Date: Fri, 11 Sep 2009 16:07:22 -0600
- Subject: Re: set record query <on|off>
- References: <F7CE05678329534C957159168FA70DEC515360001F@EUSAACMS0703.eamcs.ericsson.se>
- Reply-to: tromey at redhat dot com
>>>>> "Marc" == Marc Khouzam <email@example.com> writes:
Marc> here is a patch to allow to enable/disable the queries
Marc> used in Record. It is relevant to:
Marc> What do you think?
It seems like a strange approach to me.
I don't think I know the whole background here. Is this to help users
who enter commands at a console? Or MI? Or CLI commands sent by
Eclipse, but not from a user console (that is, in response to some GUI
For MI, it seems like there should be arguments to the internal function
and then the MI commands should disable querying that way. That is, you
don't need a new user-visible setting for this.
For the CLI-commands-sent-by-Eclipse case, it seems like you could use
the "server" prefix.
For the console case... it seems to me that queries are just a necessary
part of that.