win32 has no pthread_self

11 years ago · 0c03bb2ff2
1 changed files with 4 additions and 0 deletions
--- a/src/util.cpp
+++ b/src/util.cpp
@ -98,7 +98,11 @@ void locking_callback(int mode, int i, const char* file, int line)
				@@ -98,7 +98,11 @@ void locking_callback(int mode, int i, const char* file, int line)

 static unsigned long id_callback(void)
 {
+#if defined(WIN32)
+  return ((unsigned long)GetCurrentThreadId());
+#else
  return ((unsigned long)pthread_self());
+#endif
 }

 LockedPageManager LockedPageManager::instance;