| 1872 | } |
| 1873 | |
| 1874 | static void cleanupDefaultPool() |
| 1875 | { |
| 1876 | defaultMemPool->~MemPool(); |
| 1877 | defaultMemPool = NULL; |
| 1878 | |
| 1879 | while (defaultExtentsCache.count) |
| 1880 | releaseRaw(true, defaultExtentsCache.data[--defaultExtentsCache.count], DEFAULT_ALLOCATION, nullptr); |
| 1881 | |
| 1882 | cleanupFailedList(); |
| 1883 | } |
| 1884 | |
| 1885 | static void cleanupExternalPool() |
| 1886 | { |