| commit | c0a652c2aa8858dba99d578fa2fac25b1a532a0a | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Thu Nov 30 13:57:09 2023 -0700 |
| committer | Tom Tromey <tromey@adacore.com> | Mon Dec 11 11:44:35 2023 -0700 |
| tree | 27ce9d7ad84bb16f15aff5f810454c74c5dbd945 | |
| parent | 606fc72a5f05a61184bc476dd877200336c1e3d0 [diff] |
Catch KeyboardInterrupt in send_gdb_with_response Cancellation will generally be seen by the DAP code as a KeyboardInterrupt. However, this derives from BaseException and not Exception, so a small change is needed to send_gdb_with_response, to forward the exception to the DAP server thread. Reviewed-By: Kévin Le Gouguec <legouguec@adacore.com>