equal
deleted
inserted
replaced
587 $is_firefox_3 = ( strstr(@$_SERVER['HTTP_USER_AGENT'], 'Firefox/3.') ) ? true : false; |
587 $is_firefox_3 = ( strstr(@$_SERVER['HTTP_USER_AGENT'], 'Firefox/3.') ) ? true : false; |
588 if ( $timeout == 0 && ( empty($_POST) || !$is_firefox_3 ) ) |
588 if ( $timeout == 0 && ( empty($_POST) || !$is_firefox_3 ) ) |
589 { |
589 { |
590 header('Location: ' . $url); |
590 header('Location: ' . $url); |
591 header('Content-length: 0'); |
591 header('Content-length: 0'); |
592 header('HTTP/1.1 307 Temporary Redirect'); |
592 header('HTTP/1.1 302 Found'); |
593 |
593 |
594 // with 3xx codes HTTP clients expect a response of 0 bytes, so just die here |
594 // with 3xx codes HTTP clients expect a response of 0 bytes, so just die here |
595 exit(); |
595 exit(); |
596 } |
596 } |
597 |
597 |