/* ---------------------------------------------------------------------------
- * $Id: Schedule.c,v 1.138 2002/04/23 06:34:27 sof Exp $
+ * $Id: Schedule.c,v 1.139 2002/04/23 09:56:28 stolz Exp $
*
* (c) The GHC Team, 1998-2000
*
broadcastCondition(&m->wakeup);
#ifdef DEBUG
free(m->tso->label);
+ m->tso->label = NULL;
#endif
break;
case ThreadKilled:
broadcastCondition(&m->wakeup);
#ifdef DEBUG
free(m->tso->label);
+ m->tso->label = NULL;
#endif
break;
default:
|| m->tso->what_next == ThreadKilled) {
#ifdef DEBUG
free(m->tso->label);
+ m->tso->label = NULL;
#endif
main_threads = main_threads->link;
if (m->tso->what_next == ThreadComplete) {
if (buf == NULL) {
fprintf(stderr,"insufficient memory for labelThread!\n");
free(tso->label);
+ tso->label = NULL;
} else
strncpy(buf,label,len);
tso->label = buf;