options: fix global ini not saving on Linux

2 files changed, 2 insertions, 1 deletions

diff --git a/migration/20180102_00-process-detector-separator.cpp b/migration/20180102_00-process-detector-separator.cpp
index 8d0fa280..3656bf73 100644
--- a/migration/20180102_00-process-detector-separator.cpp
+++ b/migration/20180102_00-process-detector-separator.cpp
@@ -42,6 +42,7 @@ struct process_detector_record_separator : migration
             value.replace(OLD_UNIT_SEPARATOR,   NEW_UNIT_SEPARATOR);
             value.replace(OLD_RECORD_SEPARATOR, NEW_RECORD_SEPARATOR);
             s.setValue(KEY_NAME, value);
+            mark_global_ini_modified();
         });
     }
 };
diff --git a/migration/migration.cpp b/migration/migration.cpp
index 34882390..4ddb2c8c 100644
--- a/migration/migration.cpp
+++ b/migration/migration.cpp
@@ -133,7 +133,7 @@ void migrator::set_last_migration_time(const QString& val)
         if (val != old_value)
         {
             s.setValue("last-migration-at", val);
-            mark_ini_modified();
+            options::globals::detail::mark_ini_modified();
         }
         s.endGroup();
     });