K 10 svn:author V 3 des K 8 svn:date V 27 2000-07-26T07:28:33.000000Z K 7 svn:log V 125 Restore the old semantics of deleting the output file when interrupted. Some people liked this and some didn't, so POLA won. END