From d8b3b72cb9f4f8e05cdab7ee6801ce4c6b369390 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Tue, 30 Jan 2018 09:52:42 +0100 Subject: [PATCH] PrismSettings: resave to the same file used for loading When PrismSettings loads a settings file from a previous version, in loadSettingsFile(File) it resaves the file to add the settings of the current version. Previously, for resave it would write to the default location, no matter if the settings file location passed to loadSettingsFile pointed to another file (e.g., due to loading the settings on the command-line PRISM with -settings ...). Now, we resave to the same file as that used for loading. --- prism/src/prism/PrismSettings.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/prism/PrismSettings.java b/prism/src/prism/PrismSettings.java index 8bdb3942..70fbeb8b 100644 --- a/prism/src/prism/PrismSettings.java +++ b/prism/src/prism/PrismSettings.java @@ -853,7 +853,7 @@ public class PrismSettings implements Observer // If necessary, resave the preferences file if (resaveNeeded) { try { - saveSettingsFile(); + saveSettingsFile(file); } catch (PrismException e) { }