15 Jan
2013
15 Jan
'13
3:45 p.m.
On 15/01/2013 13:02, Gerd Petermann wrote:
Hi Steve,
Its difficult to delete files on Windows compared to Unix. I'm part way through fixing it now.
Thanks. I think on windows a file must not be open, so we probably have to code some close() calls. Eclipse has a function to show warnings for potentially missing close() calls.
Almost all the real ones were in the test code, since I didn't want any try/finally clutter in there. The attached patch fixes. There is one test failure which I believe is a genuine bug on windows, which I'll look into some time later. I'll check this in when I've tried it out on unix again. ..Steve