aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Jonas Gunz <himself@jonasgunz.de> 2020-10-19 03:17:07 +0200
committerGravatar Jonas Gunz <himself@jonasgunz.de> 2020-10-19 03:17:07 +0200
commit33676e07e4293ae057ca3eead908157b9a5ee8cb (patch)
treed655f0fc97509b838665c140cec4ff1798e95d63
parent0954c62cf3f00ffed37e28b958f482959c1e65fd (diff)
downloadparquet-33676e07e4293ae057ca3eead908157b9a5ee8cb.tar.gz
settings: only save when needed
-rw-r--r--src/main/java/re/jag/parquet/ParquetSettings.java6
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;