[project @ 2003-01-28 16:22:20 by simonmar]

- Add headers
- Make initThreadLabels multi-init-safe

ghc/rts/ThreadLabels.c

+/* -----------------------------------------------------------------------------
+ * ThreadLabels.c
+ *
+ * (c) The GHC Team 2002-2003
+ *
+ * Table of thread labels.
+ *
+ * ---------------------------------------------------------------------------*/
 
 #include "PosixSource.h"
 #include "ThreadLabels.h"
@@ -9,8 +17,9 @@ static HashTable * threadLabels = NULL;
 void
 initThreadLabelTable(void)
 {
-  ASSERT(threadLabels == NULL);
-  threadLabels = allocHashTable();
+  if (threadLabels == NULL) {
+    threadLabels = allocHashTable();
+  }
 }
 
 void

ghc/rts/ThreadLabels.h

+/* -----------------------------------------------------------------------------
+ * ThreadLabels.h
+ *
+ * (c) The GHC Team 2002-2003
+ *
+ * Table of thread labels.
+ *
+ * ---------------------------------------------------------------------------*/
+
 #include "Rts.h"
 #include "Hash.h"