Use field_signed from Python MI commands
authorTom Tromey <tromey@adacore.com>
Thu, 23 Mar 2023 17:54:46 +0000 (11:54 -0600)
committerTom Tromey <tromey@adacore.com>
Tue, 23 May 2023 16:09:27 +0000 (10:09 -0600)
commitd5ad08d77c92e50f24798f357dd688b9060c6f68
treeea717a62e9f5589444451867ca963f8a488c1ac2
parent6aebb6e100fb3c5e2acf19f8b0432b3b4fd750e0
Use field_signed from Python MI commands

If an MI command written in Python includes a number in its output,
currently that is simply emitted as a string.  However, it's
convenient for a later patch if these are emitted using field_signed.
This does not make a difference to ordinary MI clients.
gdb/python/py-micmd.c
gdb/python/python-internal.h