irondrop: append date

Author: dev-harsh1998

src/http.rs

@@ -454,6 +454,16 @@ where
 ",
     );
 
+    let has_date = response
+        .headers
+        .keys()
+        .any(|k| k.eq_ignore_ascii_case("date"));
+    if !has_date {
+        if let Some(date_str) = crate::webdav::format_http_date_now() {
+            response_str.push_str(&format!("Date: {}\r\n", date_str));
+        }
+    }
+
     for (key, value) in &response.headers {
         response_str.push_str(&format!(
             "{key}: {value}

src/webdav.rs

@@ -2468,6 +2468,10 @@ fn xml_escape(value: &str) -> String {
         .replace('\'', "'")
 }
 
+pub fn format_http_date_now() -> Option<String> {
+    format_http_date(SystemTime::now())
+}
+
 fn format_http_date(time: SystemTime) -> Option<String> {
     const WEEKDAYS: [&str; 7] = ["Thu", "Fri", "Sat", "Sun", "Mon", "Tue", "Wed"];
     const MONTHS: [&str; 12] = [