posixcompat: properly handle PTHREAD_MUTEX_RECURSIVE and BF thread id assignment.

[barrelfish] / lib / barrelfish / debug.c

diff --git a/lib/barrelfish/debug.c b/lib/barrelfish/debug.c
index 2e9f2f0..a4b12c0 100644 (file)
--- a/lib/barrelfish/debug.c
+++ b/lib/barrelfish/debug.c
@@ -110,8 +110,8 @@ void debug_printf(const char *fmt, ...)
     char str[256];
     size_t len;
 
-    len = snprintf(str, sizeof(str), "\033[34m%.*s.\033[31m%u\033[0m: ", DISP_NAME_LEN, disp_name(),
-                   disp_get_core_id());
+    len = snprintf(str, sizeof(str), "\033[34m%.*s.\033[31m%u.%lu\033[0m: ", DISP_NAME_LEN, disp_name(),
+                   disp_get_core_id(), thread_id());
     if (len < sizeof(str)) {
         va_start(argptr, fmt);
         vsnprintf(str + len, sizeof(str) - len, fmt, argptr);