This is the mail archive of the
gdb@sourceware.org
mailing list for the GDB project.
Re: [RFC] Queries and frontends
>>>>> "Nick" == Nick Roberts <nickrob@snap.net.nz> writes:
Nick> Here's a revised patch for my original request. It doesn't help
Nick> with issues relating to GDB/MI but just uses the "server prefix"
Nick> instead of a special option.
My initial reaction to this was to think that defaulted_query should
respect server_command. Is there a case where this would do the wrong
thing?
Tom