Change captured_mi_execute_command to use scoped_restore
authorTom Tromey <tom@tromey.com>
Fri, 5 May 2017 03:25:55 +0000 (21:25 -0600)
committerTom Tromey <tom@tromey.com>
Sat, 30 Sep 2017 03:12:18 +0000 (21:12 -0600)
commit789c4b5ea14b0c441e6021f07503e61ccfacb427
tree2a8fab9d1e6a5dc1c41bb7b336f92fb9e3505f28
parentab816a274505933da2f854014b54901c3c3db9d2
Change captured_mi_execute_command to use scoped_restore

Change captured_mi_execute_command to use a scoped_restore, removing a
cleanup.  The old code copied the current token, but I don't believe
that is necessary.

gdb/ChangeLog
2017-09-29  Tom Tromey  <tom@tromey.com>

* mi/mi-main.c (captured_mi_execute_command): Use scope_restore.
gdb/ChangeLog
gdb/mi/mi-main.c