}
/**
- * session_redirect() - Redirect browser within the site
+ * session_redirect() - Redirect browser within the site and exit.
*
- * @param string Absolute path within the site
- * @return never returns
+ * @param string $loc Absolute path within the site
*/
function session_redirect($loc) {
+ util_save_messages();
session_redirect_external(util_make_url ($loc));
exit;
}
}
putenv ('TZ='. $tz);
date_default_timezone_set($tz);
-}
+}
/**
* session_get_user() - Wrapper function to return the User object for the logged in user.
// mode: php
// c-file-style: "bsd"
// End:
-
-?>