(defaulted_query): Don't ask for confirmation if server

prefix is used.

diff --git a/gdb/utils.c b/gdb/utils.c
index eb75f2e50f863e4e9d09d500232d5a4cf055e4dc..a266b027861981a86e30ecff9f8b16bbd0769ef4 100644 (file)
--- a/gdb/utils.c
+++ b/gdb/utils.c
@@ -1436,8 +1436,8 @@ defaulted_query (const char *ctlstr, const char defchar, va_list args)
     }
 
   /* Automatically answer the default value if the user did not want
-     prompts.  */
-  if (! caution)
+     prompts or the command was issued with the server prefix.  */
+  if (! caution || server_command)
     return def_value;
 
   /* If input isn't coming from the user directly, just say what