diff options
Diffstat (limited to 'phpBB/profile.php')
| -rw-r--r-- | phpBB/profile.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/phpBB/profile.php b/phpBB/profile.php index 25965087de..213807a49f 100644 --- a/phpBB/profile.php +++ b/phpBB/profile.php @@ -83,7 +83,8 @@ if ( isset($HTTP_GET_VARS['mode']) || isset($HTTP_POST_VARS['mode']) ) { if ( !$userdata['session_logged_in'] && $mode == 'editprofile' ) { - header("Location: " . append_sid("login.$phpEx?redirect=profile.$phpEx&mode=editprofile", true)); + $header_location = ( @preg_match("/Microsoft|WebSTAR/", getenv("SERVER_SOFTWARE")) ) ? "Refresh: 0; URL=" : "Location: "; + header($header_location . append_sid("login.$phpEx?redirect=profile.$phpEx&mode=editprofile", true)); exit; } @@ -108,7 +109,8 @@ if ( isset($HTTP_GET_VARS['mode']) || isset($HTTP_POST_VARS['mode']) ) } else { - header("Location: " . append_sid("index.$phpEx", true)); + $header_location = ( @preg_match("/Microsoft|WebSTAR/", getenv("SERVER_SOFTWARE")) ) ? "Refresh: 0; URL=" : "Location: "; + header($header_location . append_sid("index.$phpEx", true)); exit; } |