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