## 302 REDIRECTS
function redirect($target=null,$secure=null) {
- $base = (is_null($target)||substr($target,0,1)=='?')?$_SERVER['REDIRECT_URL']:(dirname($_SERVER['REDIRECT_URL']).'/');
+ $base = (is_null($target)||substr($target,0,1)=='?')?URI:(dirname(URI).'/');
redirectFull(is_null($target)?$base:($base.$target),$secure);
}
function redirectStart() {
redirectFull(BASE_URL,null);
}
function redirectFull($target,$secure) {
- //redirect2((((isSSL()&&is_null($secure))||$secure==true)?'https://':'http://').$_SERVER['SERVER_NAME'].$target);
- redirect2((((isSSL()&&is_null($secure))||$secure==true)?'https://scripts-cert.mit.edu':'http://scripts.mit.edu').$target);
+ redirect2((((isSSL()&&is_null($secure))||$secure==true)?BASE_HTTPS:BASE_HTTP).$target);
}
function redirect2($target) {
header('Location: '.$target);
exit;
}
function flipSSL() {
- //return (isSSL()?'http://':'https://').$_SERVER['SERVER_NAME'].$_SERVER['REDIRECT_URL'];
- return (isSSL()?'http://scripts.mit.edu':'https://scripts-cert.mit.edu').$_SERVER['REDIRECT_URL'];
+ return (isSSL()?BASE_HTTP:BASE_HTTPS).URI;
}
## USER SCRIPTS