803804805806807808809810811812813
queryCache.destroy(); iter = queryCaches.values().iterator(); while ( iter.hasNext() ) { QueryCache cache = (QueryCache) iter.next(); cache.destroy(); } updateTimestampsCache.destroy(); } settings.getRegionFactory().stop();
875876877878879880881882883884885
826827828829830831832833834835836
790791792793794795796797798799800
queryCache.destroy(); iter = queryCaches.values().iterator(); while ( iter.hasNext() ) { QueryCache cache = (QueryCache) iter.next(); cache.destroy(); } updateTimestampsCache.destroy(); } settings.getCacheProvider().stop();
874875876877878879880881882883884
946947948949950951952953954955956
956957958959960961962963964965966
929930931932933934935936937938939
948949950951952953954955956957958
922923924925926927928929930931932