Deadlock problems with 'kill PID' on CURRENT

[Matthias Andree]

"Wilkinson, Alex" <alex.wilkinson at dsto.defence.gov.au> writes:

> Robert, what is an NMI button ?

A button - usually on server and high-availability hardware,
next to the RESET button. NMI is a non-maskable interrupt,
i. e. one that software cannot opt out of.

The serious part of this mail ends in this line.

On your Commodore 64, it's labeled "RESTORE". :-)

-- 
Matthias Andree