Re: [PATCH] [gdb/python] Document quit_force uses

[Tom Tromey <tom@tromey.com>]

>>>>> "Tom" == Tom de Vries <tdevries@suse.de> writes:

Tom> The Python extension has two functions that convert exceptions from the GDB
Tom> domain to the Python domain and vice versa: gdbpy_convert_exception and
Tom> gdbpy_handle_exception.

Tom> Each function has an exception though, where it calls quit_force:
Tom> - for gdbpy_convert_exception, when handling gdb_exception_forced_quit, and
Tom> - for gdbpy_handle_exception, when handling SystemExit.

Tom> I think it's a good idea to document these exceptions in more detail, and
Tom> since AFAICT the reasoning is the same, I've added the same comment in both
Tom> places.

Ok.
Approved-By: Tom Tromey <tom@tromey.com>

Tom