Reply to thread

I didn't try - mm had worked out why the files couldn't be deleted (because they were not being closed by StreamingServer), so I just (hopefully) fixed the problem in the code.