Changeset 293
- Timestamp:
- Apr 22, 2007, 12:18:07 AM (19 years ago)
- File:
- 
          - 1 edited
 
 - 
          vhosts/server.php (modified) (1 diff)
 
Legend:
- Unmodified
- Added
- Removed
- 
        vhosts/server.phpr245 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.
      
