Unable to read text file from server

Perhaps the file content has been cached within the web server. Restarting the web server ought to take care of that.