Index: /vhosts/server.php
===================================================================
--- /vhosts/server.php	(revision 294)
+++ /vhosts/server.php	(revision 295)
@@ -7,5 +7,5 @@
 if ($req == '/robots.txt') {
 	header('Content-Type: text/plain');
-	file_get_contents('/afs/athena.mit.edu/contrib/scripts/web_scripts/robots.txt');
+	readfile('/afs/athena.mit.edu/contrib/scripts/web_scripts/robots.txt');
 	exit;
 }