Searched refs:SERVER_HEADER (Results 1 – 2 of 2) sorted by relevance
62 if (!response.containsHeader(HTTP.SERVER_HEADER)) { in process()66 response.addHeader(HTTP.SERVER_HEADER, s); in process()
60 public static final String SERVER_HEADER = "Server"; field in HTTP