gdb/mi: make current_token a field of mi_interp
authorSimon Marchi <simon.marchi@efficios.com>
Wed, 6 Sep 2023 15:02:00 +0000 (11:02 -0400)
committerSimon Marchi <simon.marchi@efficios.com>
Thu, 7 Sep 2023 14:42:46 +0000 (10:42 -0400)
commitdef2803789208a617c429b5dcf2026decb25ce0c
tree88d19904e534129cf2c368d70850acccdd89f639
parent825a7d7492a41640c9c5d97e831f05ca95d0a39b
gdb/mi: make current_token a field of mi_interp

Following the commit f818c32ba459 ("gdb/mi: fix ^running record with
multiple MI interpreters"), I thought it would make sense to make
current_token a field of mi_interp.  This variable contains the token of
the currently handled MI command, like the 222 in:

    222-exec-continue

I didn't find any bug related to that, it's just a "that seems nicer"
cleanup, since the current token is a fundamentally per-interp thing.

mi_execute_command needs a check similar to what we already have in
mi_cmd_gdb_exit: when invoked from Python's gdb.execute_mi, the current
interpreter is not an mi_interp.  When using the Python gdb.execute_mi
function, there is no such concept of token, so we can just skip that.

There should be no user-visible change.

Change-Id: Ib52b3c0cba4b7c9d805b432c809692a86e4945ad
Approved-By: Tom Tromey <tom@tromey.com>
gdb/mi/mi-interp.c
gdb/mi/mi-interp.h
gdb/mi/mi-main.c
gdb/mi/mi-main.h