Changeset 293
- Timestamp:
- Apr 22, 2007, 12:18:07 AM (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
vhosts/server.php
r245 r293 4 4 if (isset($_SERVER['PATH_INFO'])) $pi = explode('/',$_SERVER['PATH_INFO']); 5 5 if (isset($_SERVER['SERVER_PORT'])) $port = $_SERVER['SERVER_PORT']; else $port = '80'; 6 7 if ($req == '/robots.txt') { 8 header('Content-Type: text/plain'); 9 fpassthru('/afs/athena.mit.edu/contrib/scripts/web_scripts/robots.txt'); 10 exit; 11 } 6 12 7 13 if (array_shift(explode('.',$name)) == 'www') {
Note: See TracChangeset
for help on using the changeset viewer.