用RFC1123 ()解析HttpServletRequest#getDateHeader日期时的异常

Question

我试图通过调用Date: Tue, 15 Nov 1994 08:12:31 GMT来解析HttpServletRequest的header request.getDateHeader("Date")，但得到了以下异常：

java.lang.NumberFormatException: Tue, 15 Nov 1994 08:12:31 GMT
    at org.mortbay.io.BufferUtil.toLong(BufferUtil.java:106) 
    at org.mortbay.jetty.HttpFields$Field.getLongValue(HttpFields.java:1479)
    at org.mortbay.jetty.HttpFields.getLongField(HttpFields.java:720)
    at org.mortbay.jetty.Request.getIntHeader(Request.java:728)
    at javax.servlet.http.HttpServletRequestWrapper.getIntHeader(HttpServletRequestWrapper.java:106)
    at javax.servlet.http.HttpServletRequestWrapper.getIntHeader(HttpServletRequestWrapper.java:106)
    at com.google.appengine.tools.development.ResponseRewriterFilter$RequestWrapper.getDateHeader(ResponseRewriterFilter.java:417)
    at com.example.ExampleServlet.doPost(ExampleServlet.java:93)

我做错了什么？示例日期直接从HTTP规范获取，因此我希望它在RFC 1123下是有效的。servlet是App应用程序(在开发服务器上)的一部分。

Answer 1

应用引擎库中的这是一个已知的错误。有争议的是函数，它显然调用了super.getIntHeader()。不幸的是，谷歌似乎并不急于修复它。