936937938939940941942943944945946
queryCache.destroy(); iter = queryCaches.values().iterator(); while ( iter.hasNext() ) { QueryCache cache = (QueryCache) iter.next(); cache.destroy(); } updateTimestampsCache.destroy(); } settings.getRegionFactory().stop();
946947948949950951952953954955956
873874875876877878879880881882883
943944945946947948949950951952953
968969970971972973974975976977978
788789790791792793794795796797798
queryCache.destroy(); iter = queryCaches.values().iterator(); while ( iter.hasNext() ) { QueryCache cache = (QueryCache) iter.next(); cache.destroy(); } updateTimestampsCache.destroy(); } settings.getCacheProvider().stop();
933934935936937938939940941942943
959960961962963964965966967968969
790791792793794795796797798799800
945946947948949950951952953954955