fix date format to work with Safari, from djs@fraserresearch.org

This commit is contained in:
avsm 2005-05-24 00:12:23 +00:00
parent a9e56a1822
commit 81831b741c

View File

@ -0,0 +1,12 @@
$OpenBSD: patch-rss_io_ml,v 1.1 2005/05/24 00:12:23 avsm Exp $
--- rss_io.ml.orig Tue May 24 01:08:24 2005
+++ rss_io.ml Tue May 24 01:08:37 2005
@@ -303,7 +303,7 @@ let opt_element opt s =
None -> []
| Some v -> [Element (s, [], [PCData v])]
-let default_date_format = "%d %b %Y %T %z"
+let default_date_format = "%a, %d %b %Y %T %z"
(* ex: 19 May 2002 15:21:36 *)
let err_date d = ()