Re: [PATCH 1/1] gdb, python: update threads in Inferior.threads ()

Tom Tromey
2012-07-25T16:16:00Z

>>>>> "Jan" == Jan Kratochvil <jan.kratochvil@redhat.com> writes:

Jan> OK with the issue below but please check it in only after several
Jan> days, there is questionable the caching of threads list.

I think making thread notification smarter, as you mention upthread,
would be good, but isn't needed for this patch. This patch is an
improvement on its own.

Tom