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/Stable.c | |
| parent | 52589e05f86d593bc3e6ea3f1a0b8f6ceae94fe6 (diff) | |
| download | haskell-88b35c172f9434fd98b700f706074d142914a8bb.tar.gz | |
Add closeMutex and use it on clean up
Diffstat (limited to 'rts/Stable.c')
| -rw-r--r-- | rts/Stable.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/Stable.c b/rts/Stable.c index 2c4157b431..813c6c8b47 100644 --- a/rts/Stable.c +++ b/rts/Stable.c @@ -169,6 +169,9 @@ exitStablePtrTable(void) stgFree(stable_ptr_table); stable_ptr_table = NULL; SPT_size = 0; +#ifdef THREADED_RTS + closeMutex(&stable_mutex); +#endif } /* |