Searched refs:SERVER_HEADER (Results 1 – 4 of 4) 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
1773 SERVER_HEADER, in main() enumerator1820 mode = SERVER_HEADER; in main()1901 case SERVER_HEADER: in main()
3888 field @Deprecated public static final String SERVER_HEADER = "Server";