Author: leo
Date: Thu Apr 28 09:35:12 2005
New Revision: 7938

Modified:
   trunk/ops/core.ops
Log:
die is to die

* include die functionality in die_hard
* see also not on p6i



Modified: trunk/ops/core.ops
==============================================================================
--- trunk/ops/core.ops  (original)
+++ trunk/ops/core.ops  Thu Apr 28 09:35:12 2005
@@ -638,6 +638,8 @@
 }
 
 inline op die_hard(in INT, in INT) {
+  if ($1 == EXCEPT_doomed)
+    _exit($2);
   do_exception(interpreter, $1, $2);
   restart NEXT();
 }

Reply via email to