Printing a pthread_t on platforms having a non-int pthread_id

requires a cast to uintptr_t.

diff --git a/modules/luabackend/reload.cc b/modules/luabackend/reload.cc
index 45c4931f4c9f8c423d893aed242afe16e32be7cb..eff320908706dbcb73b4190703a7bafaf435dfc6 100644 (file)
--- a/modules/luabackend/reload.cc
+++ b/modules/luabackend/reload.cc
@@ -56,7 +56,7 @@ void LUABackend::reload() {
     
     backend_name.clear();
 
-    backend_name = "[LUABackend: " + uitoa(backend_pid) + " (" + uitoa(backend_count) +")] ";
+    backend_name = "[LUABackend: " + uitoa((uintptr_t)backend_pid) + " (" + uitoa(backend_count) +")] ";
     
     if (lua)
        lua_close(lua);