
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>


<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">

</head>

<body text="#000000" bgcolor="#ffffff">

<font size="-1"><font face="Helvetica, Arial, sans-serif">Ron and Peter

should like this.... "Panic Room" there you go.<br>

<br>

It's of course completely useless if the machine hangs. It could be

made part of "die()" though.<br>

<br>

Stefan<br>

</font></font>

</body>

</html>