Missing send_signal_to_gdb() and interrupt_gdb() of GdbController

[arc12]

The documentation shows two methods on objects of class GdbController which are not supported:

response = gdbmi.send_signal_to_gdb('SIGKILL')  # name of signal is okay
response = gdbmi.interrupt_gdb()  # sends SIGINT to gdb

There appear to be no equivalent methods available.

Refering to 0.11.0.0 release.

[horw]

I also encountered this error