comparison src/org/eclipse/jetty/server/Server.java @ 877:fef4392f4905

remove sendServerVersion
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 04 Oct 2016 14:36:51 -0600
parents 2efdb98f3543
children 5f8a242392da
comparison
equal deleted inserted replaced
876:2efdb98f3543 877:fef4392f4905
62 private static final String __version = "8"; 62 private static final String __version = "8";
63 63
64 private final AttributesMap _attributes = new AttributesMap(); 64 private final AttributesMap _attributes = new AttributesMap();
65 public final ThreadPoolExecutor threadPool; 65 public final ThreadPoolExecutor threadPool;
66 public final Connector connector; 66 public final Connector connector;
67 private boolean _sendServerVersion = true; //send Server: header
68 private boolean _sendDateHeader = false; //send Date: header 67 private boolean _sendDateHeader = false; //send Date: header
69 private int _graceful=0; 68 private int _graceful=0;
70 private boolean _stopAtShutdown; 69 private boolean _stopAtShutdown;
71 private boolean _dumpAfterStart=false; 70 private boolean _dumpAfterStart=false;
72 private boolean _dumpBeforeStop=false; 71 private boolean _dumpBeforeStop=false;
300 { 299 {
301 threadPool.awaitTermination(Long.MAX_VALUE, TimeUnit.MILLISECONDS); 300 threadPool.awaitTermination(Long.MAX_VALUE, TimeUnit.MILLISECONDS);
302 } 301 }
303 302
304 /* ------------------------------------------------------------ */ 303 /* ------------------------------------------------------------ */
305
306 /* ------------------------------------------------------------ */
307 public void setSendServerVersion (boolean sendServerVersion)
308 {
309 _sendServerVersion = sendServerVersion;
310 }
311
312 /* ------------------------------------------------------------ */
313 public boolean getSendServerVersion()
314 {
315 return _sendServerVersion;
316 }
317
318 /* ------------------------------------------------------------ */
319 /** 304 /**
320 * @param sendDateHeader 305 * @param sendDateHeader
321 */ 306 */
322 public void setSendDateHeader(boolean sendDateHeader) 307 public void setSendDateHeader(boolean sendDateHeader)
323 { 308 {