Message327482
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 |
|
Date |
User |
Action |
Args |
2018-10-10 17:17:17 | alb_moral | set | recipients:
+ alb_moral, xtreak |
2018-10-10 17:17:17 | alb_moral | set | messageid: <1539191837.32.0.788709270274.issue34951@psf.upfronthosting.co.za> |
2018-10-10 17:17:17 | alb_moral | link | issue34951 messages |
2018-10-10 17:17:17 | alb_moral | create | |
|