[gdb] Server should not exit when pressing Ctrl+C in GDB #102
Description
Ctrl+C is useful for a variety of things in GDB; but it also exits the server. Should figure out a way to make it ignore that.
{{ message }}
Ctrl+C is useful for a variety of things in GDB; but it also exits the server. Should figure out a way to make it ignore that.