scripts/loader.py · 66a2c50c295e46f99fd9626c53f3e7914071f113 · Verlässliche Systemsoftware / projects / osv

12 years ago

Added to gdb's "osv info threads" each thread's id before its address, · 66a2c50c

Nadav Har'El authored 12 years ago

and also to the "osv thread ..." command, you can now use in addition
to the thread's address, also its id - e.g., "osv thread 44" will
go to the thread with id()==44.

66a2c50c

History

Added to gdb's "osv info threads" each thread's id before its address,

Nadav Har'El authored 12 years ago

and also to the "osv thread ..." command, you can now use in addition
to the thread's address, also its id - e.g., "osv thread 44" will
go to the thread with id()==44.