Basically, I have a php script that generates a web page, and I would like to send its output to a file (say, index.html). The problem is that php only runs as user nobody, and I can't have chmod 777 ...