equal
deleted
inserted
replaced
162 ## HTTP DateTime parser |
162 ## HTTP DateTime parser |
163 def parseDateTime(dateString): |
163 def parseDateTime(dateString): |
164 """Convert an HTTP date string (one of three formats) to seconds since epoch.""" |
164 """Convert an HTTP date string (one of three formats) to seconds since epoch.""" |
165 parts = dateString.split() |
165 parts = dateString.split() |
166 |
166 |
167 if not parts[0][0:3].lower() in weekdayname_lower: |
167 if parts and not parts[0][0:3].lower() in weekdayname_lower: |
168 # Weekday is stupid. Might have been omitted. |
168 # Weekday is stupid. Might have been omitted. |
169 try: |
169 try: |
170 return parseDateTime("Sun, "+dateString) |
170 return parseDateTime("Sun, "+dateString) |
171 except ValueError: |
171 except ValueError: |
172 # Guess not. |
172 # Guess not. |