set record query <on|off>

[Tom Tromey]

>>>>> "Marc" == Marc Khouzam <marc.khouzam@ericsson.com> writes:

Marc> here is a patch to allow to enable/disable the queries
Marc> used in Record.  It is relevant to:
Marc> http://sourceware.org/ml/gdb/2009-09/msg00165.html
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
control)?

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.

Tom