Alberto Moral <[email protected]> added the comment:
Thanks for your answer. I have not found any RFCs with full month names either.
I'm afraid I'm not an expert here.
But the case is that I get them in my work. Here is an example of response
header:
HTTP/1.1 200 OK
Server: Oracle-iPlanet-Web-Server/7.0
Date: Tue, 10 Oct 2018 14:29:44 GMT
Version-auth-credencial: v.3.0.1 Iplanet - Sun Solaris - Contexto Multiple
Set-cookie: JSESSIONIDE=Del; expires=Friday, 1-August-1997 00:00:00 GMT;
domain=...
I do not know if it's an old date format (?)... or if it is a quite rare case...
I have created some previous bash scripts using wget and they work fine, but I
have had problems with python3 (and requests module) till I realized this
issue. And it was not very easy: I am very new with python :(
That's the reason of my proposal. It's just to be coherent: if we compare 3
letters of a month with MONTHS_LOWER, let's use just 3 (first) letters.
Perhaps modifying LOOSE_HTTP_DATE_RE is not a good idea. Another option could
be to truncate the month variable (mon).
It could be done inside the _str2time funtion, for example:
def _str2time(day, mon, yr, hr, min, sec, tz):
mon = mon[:3] # assure 3 letters
yr = int(yr)
Anyway, I'll try to find why those long month names appear.
Thank you
----------
_______________________________________
Python tracker <[email protected]>
<https://bugs.python.org/issue34951>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
