diff options
author | Jonas Gunz <himself@jonasgunz.de> | 2020-10-19 03:17:07 +0200 |
---|---|---|
committer | Jonas Gunz <himself@jonasgunz.de> | 2020-10-19 03:17:07 +0200 |
commit | 33676e07e4293ae057ca3eead908157b9a5ee8cb (patch) | |
tree | d655f0fc97509b838665c140cec4ff1798e95d63 /src/main/java/re/jag/parquet/ParquetSettings.java | |
parent | 0954c62cf3f00ffed37e28b958f482959c1e65fd (diff) | |
download | parquet-33676e07e4293ae057ca3eead908157b9a5ee8cb.tar.gz |
settings: only save when needed
Diffstat (limited to 'src/main/java/re/jag/parquet/ParquetSettings.java')
-rw-r--r-- | src/main/java/re/jag/parquet/ParquetSettings.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/main/java/re/jag/parquet/ParquetSettings.java b/src/main/java/re/jag/parquet/ParquetSettings.java index fce8fa9..32c52dd 100644 --- a/src/main/java/re/jag/parquet/ParquetSettings.java +++ b/src/main/java/re/jag/parquet/ParquetSettings.java @@ -21,6 +21,8 @@ public class ParquetSettings { public final boolean command_rename; public final boolean command_timediff; + private boolean changed_config = false; + public ParquetSettings(String _properties_file) { Path path = FileSystems.getDefault().getPath(_properties_file); load(path); @@ -35,7 +37,8 @@ public class ParquetSettings { this.command_rename = get_boolean("command-rename", true); this.command_timediff = get_boolean("command-timediff", true); - save(path); + if(changed_config) + save(path); } private void load(Path _path) { @@ -62,6 +65,7 @@ public class ParquetSettings { String val = properties.getProperty(_name); if (val == null) { properties.setProperty(_name, _default); + changed_config = true; return _default; } return val; |