--- html/download.php	2004-08-13 12:37:04.000000000 -0500
+++ html/download.php-fixed	2004-08-23 13:52:49.980865872 -0500
@@ -47,7 +47,13 @@
 header('Cache-Control: cache');
 header("Cache-control: private");
 header("Content-type: ".$hm_input['type'].'/'.$hm_input['subtype']);
-header("Content-Disposition: filename=\"".trim($hm_input['name'])."\""); 
+if ($hm_input['type'] == 'application' && $hm_input['subtype'] == 'octet-stream') {
+    header("Content-Disposition: attachment; filename=\"".
+            trim($hm_input['name'])."\""); 
+}
+else {
+    header("Content-Disposition: filename=\"".trim($hm_input['name'])."\""); 
+}
 
 if (!isset($hm_input['decode'])) {
     $decode = false;