public GravityConfig getGravityConfig() { return getGravity().getGravityConfig(); } public ServicesConfig getServicesConfig() {
public GravityConfig getGravityConfig() { return getGravity().getGravityConfig(); } public ServicesConfig getServicesConfig() {
public static long getLongPollingTimeout(ServletContext context) { return GravityManager.getGravity(context).getGravityConfig().getLongPollingTimeoutMillis(); }
serverContainer.setDefaultMaxSessionIdleTimeout(gravity.getGravityConfig().getChannelIdleTimeoutMillis());
@Override public void configure(WebSocketServletFactory factory) { Gravity gravity = GravityManager.getGravity(getServletContext()); factory.getPolicy().setIdleTimeout(gravity.getGravityConfig().getChannelIdleTimeoutMillis()); factory.setCreator(new JettyWebSocketCreator(getServletContext())); } }