IIRC, you have to use DISKCHK (or whatever the heck that utility is). Seen the problem when updating web pages from another server, as the web server has the file in cache, and deleting it from the other server will put the file in limbo.