* src/threads/threads-common.c (threads_dump): Also print integer

thread id, so it's easier to compare with the ones from gdb.

diff --git a/src/threads/threads-common.c b/src/threads/threads-common.c
index 9bb4293ea3074d264989c8e8cb5aadb02ebf4f84..0d5b09790247ce2fd6861b8f80b98a8fd02d203e 100644 (file)
--- a/src/threads/threads-common.c
+++ b/src/threads/threads-common.c
@@ -310,9 +310,11 @@ void threads_dump(void)
                        printf(" prio=%d", t->priority);
 
 #if SIZEOF_VOID_P == 8
-                       printf(" tid=0x%016lx", (ptrint) thread->tid);
+                       printf(" tid=0x%016lx (%ld)",
+                                  (ptrint) thread->tid, (ptrint) thread->tid);
 #else
-                       printf(" tid=0x%08lx", (ptrint) thread->tid);
+                       printf(" tid=0x%08lx (%ld)",
+                                  (ptrint) thread->tid, (ptrint) thread->tid);
 #endif
 
                        /* print thread state */