Java 通过HttpServletResponse setDateHeader取整_Java_Servlets

Java 通过HttpServletResponse setDateHeader取整

java servlets

Java 通过HttpServletResponse setDateHeader取整,java,servlets,Java,Servlets,该方法为给定的时间戳添加HTTP日期头。给定的值以自历元起的毫秒为单位。但是具有第二精度，因此实现必须舍入给定的值。但是它如何取整（向上、向下、最近？），在哪里指定它应该如何取整？还是应该总是给它四舍五入的值？Servlet 3.0规范对此只字未提。我查看了Tomcat7源代码，它忽略了毫秒。它使用以下日期格式来呈现日期： public static final String HTTP_RESPONSE_DATE_HEADER = "EEE, dd MMM yyyy HH:mm

该方法为给定的时间戳添加HTTP日期头。给定的值以自历元起的毫秒为单位。但是具有第二精度，因此实现必须舍入给定的值。但是它如何取整（向上、向下、最近？），在哪里指定它应该如何取整？还是应该总是给它四舍五入的值？

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

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