(captured_mi_execute_command): Give current_command_token a value.

diff --git a/gdb/mi/mi-main.c b/gdb/mi/mi-main.c
index 447b0bf4b79cae7a17b224ab5af066b3a1ac65e1..45c85264f14de24bb5d57577bf91195fa4082a69 100644 (file)
--- a/gdb/mi/mi-main.c
+++ b/gdb/mi/mi-main.c
@@ -1086,6 +1086,8 @@ captured_mi_execute_command (struct ui_out *uiout, void *data)
       args->action = EXECUTE_COMMAND_DISPLAY_PROMPT;
       args->rc = mi_cmd_execute (context);
 
+      current_command_token = context->token;
+
       if (!target_can_async_p () || !target_executing)
        {
          /* print the result if there were no errors