+ if(!strpos($url, ':')) {
+ if(substr($url, 0, 1) == '/') {
+ $url = this_url_sans_path() . $url;
+ } else {
+ $url = ereg_replace('/[^/]*([?].*)?$', "/$url", this_url());
+ }
+ }
+
+ if(function_exists('session_save_messages')) {
+ session_save_messages();
+ }
+