From 3b9be87188dc5dc1f1fcbe8e9a73d9f74546a050 Mon Sep 17 00:00:00 2001
From: Mike Swanson <mikeonthecomputer@gmail.com>
Date: Sun, 19 Jan 2014 18:04:52 -0800
Subject: Preserve server's modification timestamp

Uses the -R option to curl so that the saved file has the same
timestamp that the server reports, creating back-dated files based on
their release date.
---
 hib-dlagent | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hib-dlagent b/hib-dlagent
index bb31a63..2d293cd 100755
--- a/hib-dlagent
+++ b/hib-dlagent
@@ -88,7 +88,7 @@ handle_download() {
   if [ $DOWNLOAD -eq 0 ]; then
     echo "$URL"
   else
-    curl -C - --retry 3 --retry-delay 3 -o "$SAVE_FILE" "$URL"
+    curl -R -C - --retry 3 --retry-delay 3 -o "$SAVE_FILE" "$URL"
   fi
 }
 
-- 
cgit v1.2.3-70-g09d2