static void configureServer( Server server, JettyConfiguration config ) { // Shutdown Integer gracefullShudownTimeout = config.gracefullShutdownTimeout().get(); if( gracefullShudownTimeout != null ) { server.setStopTimeout( gracefullShudownTimeout ); } // Low resource max idle time Integer lowResourceMaxIdleTime = config.lowResourceMaxIdleTime().get(); if( lowResourceMaxIdleTime != null ) { LowResourceMonitor lowResourceMonitor = new LowResourceMonitor( server ); lowResourceMonitor.setLowResourcesIdleTimeout( lowResourceMaxIdleTime ); server.addBean( lowResourceMonitor ); } // Statistics if( config.statistics().get() ) { server.addBean( new ConnectorStatistics() ); } }
static void configureServer( Server server, JettyConfiguration config ) { // Shutdown Integer gracefullShudownTimeout = config.gracefullShutdownTimeout().get(); if( gracefullShudownTimeout != null ) { server.setStopTimeout( gracefullShudownTimeout ); } // Low resource max idle time Integer lowResourceMaxIdleTime = config.lowResourceMaxIdleTime().get(); if( lowResourceMaxIdleTime != null ) { LowResourceMonitor lowResourceMonitor = new LowResourceMonitor( server ); lowResourceMonitor.setLowResourcesIdleTimeout( lowResourceMaxIdleTime ); server.addBean( lowResourceMonitor ); } // Statistics if( config.statistics().get() ) { server.addBean( new ConnectorStatistics() ); } }