I am over writing a particular file (called "demo") on my server and wget-ting it. However, sometimes wget retrieves an outdated file, despite my checking on the net that the file has been updated. I've tried deleting before re-writing, sometimes I even delete all the files; but when I try to wget "demo" I still get an outdated copy.
I'm running debian on a simulated MIPS malta board (basically, linux running on MIPS) if that makes a difference.
Is this a known bug and if so, is there a way around it?