MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 23:39:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

IJPL-157442 Flush highlighting grave on disk before closing persistent map to prevent data loss

Browse Source 
GitOrigin-RevId: 6dbdd130f1e306a1a48b621aff54a7a7e18f5e16
This commit is contained in:
Alexandr Trushev
2024-06-28 11:17:55 +02:00
committed by intellij-monorepo-bot
parent 0a7c79a9b8
commit dde549a915
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
platform/platform-impl/src/com/intellij/util/io/ManagedPersistentCache.kt
View File

@@ -121,7 +121,9 @@ open class ManagedPersistentCache<K, V>(
}
private fun close(persistentMap: PersistentMapBase<K, V>) {
LOG.info("closing persistent map $name")
try {
persistentMap.force() // IJPL-157442 prevent data loss
persistentMap.close()
} catch (e: Exception) {
LOG.warn("error closing persistent map $name", e)