[PATCH] gdb/python: Add gdb.InferiorThread.details attribute

[Tom Tromey]

>>>>> "Andrew" == Andrew Burgess via Gdb-patches <gdb-patches@sourceware.org> writes:

Andrew> As the string returned by target_extra_thread_info is unstructured,
Andrew> this attribute is only really useful for echoing straight through to
Andrew> the user, but, if a user wants to write a command that displays the
Andrew> same, or a similar 'Thread Id' to the one seen in 'info threads', then
Andrew> they need access to this string.

It may be good to give a bit more information about this in the
documentation.  Like, describing what this is used for and maybe how it
would appear on a Linux system.

Andrew> +  const char *extra_info = target_extra_thread_info (thread_obj->thread);

If this can ever throw, it will break things here.

Tom