Re: [PATCH v5 0/8] Fix gdb.base/gdb-sigterm.exp failure/error

Kevin Buettner via Gdb-patches
2023-02-27T23:23:02Z

On Thu, 23 Feb 2023 13:01:07 +0000
Pedro Alves <pedro@palves.net> wrote:

> > Kevin Buettner (8):
> > Introduce gdb_exception_forced_quit
> > Handle gdb SIGTERM by throwing / catching gdb_exception_force_quit
> > Catch gdb_exception_error instead of gdb_exception (in many places)
> > Python QUIT processing updates
> > Guile QUIT processing updates
> > QUIT processing w/ explicit throw for gdb_exception_forced_quit
> > Introduce set_force_quit_flag and change type of sync_quit_force_run
> > Forced quit cases handled by resetting sync_quit_force_run
>
> For the whole series:
>
> Approved-By: Pedro Alves <pedro@palves.net>

I've pushed this series. Thanks for all of the reviews!

Kevin