# HG changeset patch
# User wenzelm
# Date 1129030084 -7200
# Node ID 9822a7755ad42dc5198be1bec6b8c31b87b17b6c
# Parent  1241e5d31d5b9d79e148ace0636aee4ffc0284b5
cleanup backup images;

diff -r 1241e5d31d5b -r 9822a7755ad4 lib/scripts/run-poplogml
--- a/lib/scripts/run-poplogml	Mon Oct 10 15:35:29 2005 +0200
+++ b/lib/scripts/run-poplogml	Tue Oct 11 13:28:04 2005 +0200
@@ -67,6 +67,7 @@
         lconstant UseExn = exception("Use");
 
         define dlocal pop_exception_handler(n, msg, idstring, severity);
+                [n ^n msg ^msg  idstring ^idstring severity ^severity] ==>
                 returnunless(severity == `E` or severity == `R`)(false);
                 erasenum(n);
                 raise(UseExn(str));
@@ -122,7 +123,9 @@
 
 rm -f "$INIT"
 
-[ -n "$OUTFILE" ] && check_heap_file "$OUTFILE" && \
+if [ -n "$OUTFILE" ] && check_heap_file "$OUTFILE"; then
   [ -n "$NOWRITE" ] && chmod -w "$OUTFILE"
+  rm -f "$OUTFILE-"
+fi
 
 exit "$RC"