diff options
| author | Vito Caputo <vcaputo@pengaru.com> | 2020-11-11 23:52:52 -0800 |
|---|---|---|
| committer | Vito Caputo <vcaputo@pengaru.com> | 2020-11-12 23:14:10 -0800 |
| commit | cc41895fcc851ee96c457d566e5d987174f4d840 (patch) | |
| tree | 263882605fed188a3733e805f424e66e33249f9d /rMD-exp/src | |
| parent | c265f13978fbd68f295d99b2fe4720fe4866d64c (diff) | |
register_callbacks: permit paused quit and abort
Not sure why the inherited code prohibited this, but it doesn't
jive with my expectations to ignore SIGINT just because the
recording is paused.
Diffstat (limited to 'rMD-exp/src')
0 files changed, 0 insertions, 0 deletions