* src/threads/threads-common.c (threads_dump): Also print integer
authortwisti <none@none>
Tue, 24 Apr 2007 14:23:40 +0000 (14:23 +0000)
committertwisti <none@none>
Tue, 24 Apr 2007 14:23:40 +0000 (14:23 +0000)
commit53dd4196bc3aacd00d67f86c0d89112e85a710bc
treea21d45bc1bce6e6d946d32462a0484ed870b356e
parent0c9f9b2db46962c8255d4ac9de41ef2fae104659
* src/threads/threads-common.c (threads_dump): Also print integer
thread id, so it's easier to compare with the ones from gdb.
src/threads/threads-common.c