[project @ 2001-10-23 10:54:14 by simonmar]
authorsimonmar <unknown>
Tue, 23 Oct 2001 10:54:14 +0000 (10:54 +0000)
committersimonmar <unknown>
Tue, 23 Oct 2001 10:54:14 +0000 (10:54 +0000)
commitbc80cec8cd3b13853ed97bab0936629919c7c830
treedb497a1d6d2020074eae63622141fbca78b4c713
parent32eebc97911a3bcb6f1c5c53757473d139788f6b
[project @ 2001-10-23 10:54:14 by simonmar]
We should really delete the main thread in a deadlock situation,
otherwise if we somehow recover it might stay in the system
indefinitely.
ghc/rts/Schedule.c