2007/3/6, Heiko Oberdiek <oberdiek at uni-freiburg.de>: > No, the point is, he is typing CTRL-C, wants to abort the job. > However the job finishes with deleting the source file. :-( Ah, now I see it. Indeed, this is serious. Best Martin