public void reconfigure(GravityConfig gravityConfig, GraniteConfig graniteConfig) { getGravity().reconfigure(gravityConfig, graniteConfig); } public void stop() throws Exception {
@Override public void reconfigure(GravityConfig gravityConfig, GraniteConfig graniteConfig) { getGravity().reconfigure(gravityConfig, graniteConfig); }
/** * Reconfigure gravity with the new supplied configuration (after reloading granite-config.xml). * <br><br> * Only these configuration options are taken into account when reconfiguring Gravity: * <ul> * <li>channelIdleTimeoutMillis</li> * <li>longPollingTimeout</li> * <li>retryOnError</li> * <li>maxMessagesQueuedPerChannel</li> * <li>corePoolSize</li> * <li>maximumPoolSize</li> * <li>keepAliveTimeMillis</li> * </ul> * * @param context the ServletContext where the gravity instance is registered. * @param gravityConfig the new (reloaded) GravityConfig. */ public static void reconfigure(ServletContext context, GravityConfig gravityConfig) { synchronized (context) { Gravity gravity = getGravity(context); gravity.reconfigure(gravityConfig, ServletGraniteConfig.getConfig(context)); } }