diff options
Diffstat (limited to 'rts/ThreadLabels.c')
| -rw-r--r-- | rts/ThreadLabels.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/rts/ThreadLabels.c b/rts/ThreadLabels.c index 1c89d84508..6919e1ae38 100644 --- a/rts/ThreadLabels.c +++ b/rts/ThreadLabels.c @@ -29,6 +29,15 @@ initThreadLabelTable(void) } void +freeThreadLabelTable(void) +{ + if (threadLabels != NULL) { + freeHashTable(threadLabels, NULL); + threadLabels = NULL; + } +} + +void updateThreadLabel(StgWord key, void *data) { removeThreadLabel(key); |