MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-16 22:51:17 +07:00
Code Issues Packages Projects Releases Wiki Activity

Make safeFusLogs optional

Browse Source 
Merge-request: IJ-MR-140929
Merged-by: Gleb Marin <Gleb.Marin@jetbrains.com>

GitOrigin-RevId: 148791d0b00f62616e1d6b20fea2d07155b114df
This commit is contained in:
Gleb Marin
2024-07-25 12:39:57 +00:00
committed by intellij-monorepo-bot
parent e9124d5314
commit 5bb3108d8c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
plugins/evaluation-plugin/core/src/com/intellij/cce/workspace/ConfigFactory.kt
View File

@@ -88,7 +88,7 @@ object ConfigFactory {
builder.order = InterpretationOrder.valueOf(map.getAs<String>("order")) builder.order = InterpretationOrder.valueOf(map.getAs<String>("order"))
} }
builder.saveLogs = map.getAs("saveLogs") builder.saveLogs = map.getAs("saveLogs")
builder.saveFusLogs = map.getAs("saveFusLogs") builder.saveFusLogs = map.getIfExists<Boolean?>("saveFusLogs") ?: false
if (map.containsKey("saveFeatures")) { if (map.containsKey("saveFeatures")) {
builder.saveFeatures = map.getAs("saveFeatures") builder.saveFeatures = map.getAs("saveFeatures")
} }