Presumably the PROS serial daemon is eating up any Ctrl-C packets, which means the debugger never sees them and doesn't know to stop.
The best fix here is probably to implement real muxing for serial input so that user code can't accidentally grab data intended for v5gdb.
Presumably the PROS serial daemon is eating up any Ctrl-C packets, which means the debugger never sees them and doesn't know to stop.
The best fix here is probably to implement real muxing for serial input so that user code can't accidentally grab data intended for v5gdb.