Hugs does not free file handles on stop pressed

Hi,

If you abort a Hugs computation which has an open file handle, it
remains open. I.e. do a writeFile "filename.txt" (show (1, last
[1..])), press Stop or Ctrl+C and the file handle remains open.

However, doing "print 1", or just about anything as the next
operation, results in the file handle being closed after that command
aborts. I suspect that this means there is some routine out there that
closes the file handles and does the tidy up - if it could be invoked
on abort that would be handy.

Thanks

Neil