Searched refs:DATE_HEADER (Results 1 – 4 of 4) sorted by relevance
71 !request.containsHeader(HTTP.DATE_HEADER)) { in process()73 request.setHeader(HTTP.DATE_HEADER, httpdate); in process()
72 !response.containsHeader(HTTP.DATE_HEADER)) { in process()74 response.setHeader(HTTP.DATE_HEADER, httpdate); in process()
64 public static final String DATE_HEADER = "Date"; field in HTTP
4040 field public static final java.lang.String DATE_HEADER = "Date";