Searched refs:SERVER_HEADER (Results 1 – 3 of 3) 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
4052 field public static final java.lang.String SERVER_HEADER = "Server";