# HG changeset patch
# User erik
# Date 1274973987 0
# Node ID 3776e1559236f892a89bdc41a9ac41fd6b8145e0
# Parent  390fbf2a9602264cac19db9f28f852134e20a2a3
Fix pthread_mutex_destroy macro for Win32

Win32 has a DestroyCriticalSection call that is the equivalent
to pthread_mutex_destroy. The macro for the Win32 port should
have this.

The VLC project fixed the Win32 macro for pthread_mutex_destroy
about 3 years ago. So this is a well tested patch according to
them.

Thanks goes to Jean-Baptiste for submitting this patch to the
dvdnav-discuss list.

Patch by Jean-Baptiste Kempf /jb*videolan#org\

diff -r 390fbf2a9602 -r 3776e1559236 dvdnav_internal.h
--- a/dvdnav_internal.h	Tue May 25 23:33:59 2010 +0000
+++ b/dvdnav_internal.h	Thu May 27 15:26:27 2010 +0000
@@ -34,7 +34,7 @@
 #define pthread_mutex_init(a, b) InitializeCriticalSection(a)
 #define pthread_mutex_lock(a)    EnterCriticalSection(a)
 #define pthread_mutex_unlock(a)  LeaveCriticalSection(a)
-#define pthread_mutex_destroy(a)
+#define pthread_mutex_destroy(a) DeleteCriticalSection(a)
 
 #ifndef HAVE_GETTIMEOFDAY
 /* replacement gettimeofday implementation */