-
Simon Marlow authored
We should really delete the main thread in a deadlock situation, otherwise if we somehow recover it might stay in the system indefinitely.
bc80cec8
We should really delete the main thread in a deadlock situation, otherwise if we somehow recover it might stay in the system indefinitely.