diff options
| author | Esa Ilari Vuokko <ei@vuokko.info> | 2006-08-23 19:46:04 +0000 |
|---|---|---|
| committer | Esa Ilari Vuokko <ei@vuokko.info> | 2006-08-23 19:46:04 +0000 |
| commit | 88b35c172f9434fd98b700f706074d142914a8bb (patch) | |
| tree | 69dad172652bfbb112ab2ef8afc964c0112b662b /rts/win32/OSThreads.c | |
| parent | 52589e05f86d593bc3e6ea3f1a0b8f6ceae94fe6 (diff) | |
| download | haskell-88b35c172f9434fd98b700f706074d142914a8bb.tar.gz | |
Add closeMutex and use it on clean up
Diffstat (limited to 'rts/win32/OSThreads.c')
| -rw-r--r-- | rts/win32/OSThreads.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/rts/win32/OSThreads.c b/rts/win32/OSThreads.c index c772be38f4..00effdaaac 100644 --- a/rts/win32/OSThreads.c +++ b/rts/win32/OSThreads.c @@ -116,6 +116,11 @@ initMutex (Mutex* pMut) { InitializeCriticalSectionAndSpinCount(pMut,4000); } +void +closeMutex (Mutex* pMut) +{ + DeleteCriticalSection(pMut); +} #else void initMutex (Mutex* pMut) @@ -127,6 +132,11 @@ initMutex (Mutex* pMut) *pMut = h; return; } +void +closeMutex (Mutex* pMut) +{ + CloseHandle(*pMut); +} #endif void |