--- file_download.php.old	2005-03-24 12:20:04.983804976 +0100
+++ file_download.php.new	2005-03-24 12:18:24.764040696 +0100
@@ -6,7 +6,7 @@
 	# See the README and LICENSE files for details
 
 	# --------------------------------------------------------
-	# $Id: file_download.php,v 1.1 2005/02/10 14:06:14 mauduit Exp $
+	# $Id: file_download.php,v 1.2 2005/03/24 10:38:39 mauduit Exp $
 	# --------------------------------------------------------
 ?>
 <?php
@@ -78,7 +78,15 @@
 	header( 'Content-Disposition: filename="' . file_get_display_name( $v_filename ) . '"' );
 	header( 'Content-Description: Download Data' );
 	# prevent file caching @@@ (thraxisp) we may want to suppress this for small files
-	header( 'Pragma: no-cache' );
+	# To fix an IE bug which causes problems when downloading
+	# attached files via HTTPS, we disable the "Pragma: no-cache"
+	# command when IE is used over HTTPS.
+	if ($_SERVER["HTTPS"]=="on" && 
+	    preg_match("/MSIE/",$_SERVER["HTTP_USER_AGENT"])) {
+		# Suppress "Pragma: no-cache" header.
+	} else {
+		header( 'Pragma: no-cache' );
+	}
 	header( 'Expires: 0' );
 
 	# dump file content to the connection.