2 ms·
Another input format, for HTTP response headers: {a}[,][ ]{d}[ ]{b}[ ]{Y}[ ]{H}:{M}:{S}[ ]GMT { strptime(yytext,"%a, %d %b %Y %H:%M:%S GMT",&t); xd7
by 1vuio0pswjnm7 1y ago
Another input format, for HTTP response headers:
{a}[,][ ]{d}[ ]{b}[ ]{Y}[ ]{H}:{M}:{S}[ ]GMT {
strptime(yytext,"%a, %d %b %Y %H:%M:%S GMT",&t);
xd70f5083A();
}
puts(" Sun, Sep 09 2001 01:46:40 GMT");