require_once('display.lib.php');
-$BASE_URL = 'http'.(isSSL()?'s':'').'://'.$_SERVER['SERVER_NAME'].BASE_URL;
+if (isset($_SERVER['SERVER_NAME'])) {
+ $BASE_URL = 'http'.(isSSL()?'s':'').'://'.$_SERVER['SERVER_NAME'].BASE_URL;
+} else {
+ $BASE_URL = 'http://sql.mit.edu/';
+}
if (isset($_SERVER['REQUEST_URI'])) {
//$thisPath=pathinfo($_SERVER['REQUEST_URI']);