Changeset 1759

Timestamp:

2/8/2010 4:47:44 AM (3 years ago)

Author:

lowjoel

Message:

Give all downloaded files an index to ensure uniqueness of every file. Addresses #307: Eraser Updater restructuring

File:

• branches/eraser6/CodeReview/Eraser/UpdateForm.cs (modified) (2 diffs)

branches/eraser6/CodeReview/Eraser/UpdateForm.cs

@@ -720 +720 @@
                     //Create the file name.
                     DownloadedFile = new FileInfo(Path.Combine(
-                        TempPath.FullName, contentDisposition == null ?
-                            Path.GetFileName(Link.GetComponents(UriComponents.Path, UriFormat.Unescaped)) :
-                            contentDisposition.FileName));
+                        TempPath.FullName, string.Format(CultureInfo.InvariantCulture,
+                            "{0:00}-{1}", ++DownloadFileIndex, contentDisposition == null ?
+                                Path.GetFileName(Link.GetComponents(UriComponents.Path, UriFormat.Unescaped)) :
+                                contentDisposition.FileName)));
 
                     using (Stream responseStream = response.GetResponseStream())
@@ -785 +786 @@
 
         /// <summary>
+        /// Counter to ensure that files downloaded with a similar name are not overwritten
+        /// over each other
+        /// </summary>
+        private static int DownloadFileIndex;
+
+        /// <summary>
         /// Stores information about the temporary file which the download was stored into.
         /// </summary>