+ if(!strpos($url, ':')) {
+ while(substr($url, 0, 2) == './') {
+ $url = substr($url, 2);
+ }
+ if(substr($url, 0, 1) == '/') {
+ $url = this_url_sans_path() . $url;
+ } else {
+ $url = ereg_replace('/[^/]*$', "/$url", this_url());
+ }
+ }
+
+ if(function_exists('session_save_messages')) {
+ if(function_exists('atexit_now')) {
+ atexit_now();
+ }
+ session_save_messages();
+ }
+
+ header("HTTP/1.0 $status");