diff options
Diffstat (limited to 'inc/common.php')
| -rw-r--r-- | inc/common.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/inc/common.php b/inc/common.php index 817e416b0..46d0002df 100644 --- a/inc/common.php +++ b/inc/common.php @@ -1463,6 +1463,9 @@ function is_mem_available($mem,$bytes=1048576){ * @author Andreas Gohr <andi@splitbrain.org> */ function send_redirect($url){ + // always close the session + session_write_close(); + // check if running on IIS < 6 with CGI-PHP if( isset($_SERVER['SERVER_SOFTWARE']) && isset($_SERVER['GATEWAY_INTERFACE']) && (strpos($_SERVER['GATEWAY_INTERFACE'],'CGI') !== false) && |