require_once('mitsql.cfg.php');
require_once('mitsql.lib.php');
+if (substr(URI, -strlen('do/index')) != 'do/index') redirect('main/do/index');
isLoggedIn() && redirect('main');
!DEVEL && $_SERVER['SERVER_NAME'] != 'sql.mit.edu' && redirect2('http://sql.mit.edu/');