on segfault, do not call finish
commit8ff2e332acd7342a98ee69400bebc3318a963aa3
authorrofl0r <rofl0r@users.noreply.github.com>
Sun, 14 Mar 2021 17:43:00 +0000 (14 17:43 +0000)
committerrofl0r <rofl0r@users.noreply.github.com>
Sun, 14 Mar 2021 17:43:00 +0000 (14 17:43 +0000)
treeb63022da0a391c040c3b5f3ea200af5c8003e322
parente13bca7b294fed26d28da5e72db3fd224bc589d3
on segfault, do not call finish
gdb.py