interrupt_gdb terminates gdb [win]

[cs01]

interrupt_gdb terminates gdb [win]

[veeman]

I found a workaround. I put gdb simple in async mode and execute the interrupt command explicitly.

from pygdbmi.gdbcontroller import GdbController

gdbmi = GdbController(gdb_path="arm-none-eabi-gdb")

gdbmi.write("-gdb-set target-async on")

gdbmi.write("symbol-file application.axf")
gdbmi.write("-target-select remote localhost:2331")

gdbmi.write("-exec-continue")
gdbmi.write("-exec-interrupt")
# gdbmi.interrupt_gdb()
gdbmi.write("-exec-continue")

I will close this issue here, because it is not really a pygdbmi issue.

Maybe related; other tools have also their problems with arm-none-eabi-gdb and sigint: microsoft/vscode-cpptools#833