通过 HttpServletResponse setDateHeader 舍入答案

【问题标题】：Rounding by HttpServletResponse setDateHeader通过 HttpServletResponse setDateHeader 舍入
【发布时间】：2013-05-09 09:42:35
【问题描述】：

HttpServletResponse.setDateHeader 方法为给定的时间戳添加了 HTTP 日期标头。给定的值是自纪元以来的毫秒数。但是HTTP dates 有第二个精度，所以实现必须对给定的值进行四舍五入。但是它是如何将其四舍五入的（向上、向下、最近？），以及它在哪里指定了它应该如何围绕它？还是应该总是给它四舍五入的值？

【问题讨论】：

标签： java servlets

【解决方案1】：

Servlet 3.0 规范对此只字未提。我查看了 Tomcat 7 源代码，它只是忽略了毫秒。它使用以下日期格式来呈现日期：

public static final String 
        HTTP_RESPONSE_DATE_HEADER = "EEE, dd MMM yyyy HH:mm:ss zzz"

【讨论】：