fix: processing month names from JSON for RSS

Author: erictleung

convert_json.py

@@ -1,5 +1,6 @@
 #!/bin/python3
 
+import calendar
 from datetime import datetime
 import json
 import xml.etree.ElementTree as ET
@@ -41,7 +42,15 @@ def rss_item(title: str | None = None,
     # https://validator.w3.org/feed/docs/error/InvalidRFC2822Date.html
     if pubDate is not None:
         item.append(ET.Element("pubDate"))
-        fmt_date = datetime.strptime(pubDate, "%B %d, %Y").strftime("%d %b %Y")
+
+        # Make sure months are processed correctly when there's some inconsistency
+        # https://docs.python.org/3/library/datetime.html#format-codes
+        if pubDate in calendar.month_name:
+            fmt_date = datetime.strptime(pubDate, "%B %d, %Y").strftime("%d %b %Y")
+        elif pubDate in calendar.month_abbr:
+            fmt_date = datetime.strptime(pubDate, "%b %d, %Y").strftime("%d %b %Y")
+        else:
+            fmt_date = '01 January 1970'  # Just default to UNIX start
         item[-1].text = fmt_date
 
     return item