Index: osts/server.php
===================================================================
--- /vhosts/server.php	(revision 654)
+++ 	(revision )
@@ -1,78 +1,0 @@
-<?php
-if (isset($_SERVER['SERVER_NAME'])) $name = $_SERVER['SERVER_NAME']; else $name = '';
-if (isset($_SERVER['REQUEST_URI'])) $req = $_SERVER['REQUEST_URI']; else $req = '/';
-if (isset($_SERVER['PATH_INFO'])) $pi = explode('/',$_SERVER['PATH_INFO']);
-if (isset($_SERVER['SERVER_PORT'])) $port = $_SERVER['SERVER_PORT']; else $port = '80';
-
-if ($req == '/robots.txt') {
-	header('Content-Type: text/plain');
-	readfile('/afs/athena.mit.edu/contrib/scripts/web_scripts/robots.txt');
-	exit;
-}
-
-if (array_shift(explode('.',$name)) == 'www') {
-	$name = explode('.',$name);
-	array_shift($name);
-	$name = implode('.',$name);
-}
-
-// catch a docroot from the DocumentRoot directive in an apacheconf
-$documentRoot = str_replace(__FILE__,'',$_SERVER['DOCUMENT_ROOT']);
-if (!empty($documentRoot) && substr($documentRoot,0,1) == '/')
-	$documentRoot = substr($documentRoot, 1);
-if (empty($documentRoot))
-	$documentRoot = array_shift(explode('.',$_SERVER['SERVER_NAME']));
-
-switch($port) {
-	case 443:
-		$myHTTP = 'https';
-		$mySSL = true;
-		break;
-	default:
-		$myHTTP = 'http';
-		$mySSL = false;
-		break;
-}
-
-$myTitle = $name;
-$baseHTTP = 'http://scripts.mit.edu/~'.$documentRoot;
-$baseHTTPS = 'https://scripts.mit.edu/~'.$documentRoot;
-
-$settingsFiles[] = '/afs/athena.mit.edu/contrib/scripts/vhosts/settings/'.$name;
-$settingsFiles[] = '/afs/athena.mit.edu/contrib/scripts/vhosts/settings/'.$name.'.mit.edu';
-$settingsFiles[] = '/afs/athena.mit.edu/contrib/scripts/vhosts/settings/www.'.$name;
-$settings = array();
-foreach($settingsFiles as $aFile) {
-	if (file_exists($aFile)) {
-		$settings = file($aFile);
-		break;
-	}
-}
-if (count($settings)) {
-	if (count($settings) >= 0 && '' != trim($settings[0])) $myTitle = trim($settings[0]);
-	if (count($settings) >= 1 && '' != trim($settings[1])) $baseHTTP = trim($settings[1]);
-	if (count($settings) >= 2 && '' != trim($settings[2])) $baseHTTPS = trim($settings[2]);
-} else {
-	header ("HTTP/1.0 404 Not Found");
-?>
-<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
-<html><head>
-<title>404 Not Found</title>
-</head><body>
-<h1>Not Found</h1>
-<p>The requested URL <?=htmlspecialchars($req)?> was not found on this server.</p>
-</body></html>
-<?
-	exit;
-}
-
-$baseURL = $mySSL?$baseHTTPS:$baseHTTP;
-?>
-<html>
-<head><title><?=htmlspecialchars($myTitle)?></title></head>
-
-<frameset rows="*">
-	<frame src="<?=htmlspecialchars($baseURL . $req)?>" />
-</frameset>
-
-</html>
