# 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"