if(substr($url, 0, 1) == '/') {
$url = this_url_sans_path() . $url;
} else {
- $url = ereg_replace('/[^/]*$', "/$url", this_url());
+ $url = preg_replace('|/[^/]*$|', "/$url", this_url());
}
}
if(function_exists('session_save_messages')) {
+ if(function_exists('atexit_now')) {
+ atexit_now();
+ }
session_save_messages();
}