| | |
| | | */
|
| | | public class FileSettings extends IStoredSettings {
|
| | |
|
| | | protected final File propertiesFile;
|
| | | protected File propertiesFile;
|
| | |
|
| | | private final Properties properties = new Properties();
|
| | |
|
| | |
| | |
|
| | | private volatile boolean forceReload;
|
| | |
|
| | | public FileSettings(String file) {
|
| | | public FileSettings() {
|
| | | super(FileSettings.class);
|
| | | }
|
| | |
|
| | | public FileSettings(String file) {
|
| | | this();
|
| | | load(file);
|
| | | }
|
| | |
|
| | | public void load(String file) {
|
| | | this.propertiesFile = new File(file);
|
| | | }
|
| | |
|
| | | /**
|
| | | * Merges the provided settings into this instance. This will also
|
| | | * set the target file for this instance IFF it is unset AND the merge
|
| | | * source is also a FileSettings. This is a little sneaky.
|
| | | */
|
| | | @Override
|
| | | public void merge(IStoredSettings settings) {
|
| | | super.merge(settings);
|
| | |
|
| | | // sneaky: set the target file from the merge source
|
| | | if (propertiesFile == null && settings instanceof FileSettings) {
|
| | | this.propertiesFile = ((FileSettings) settings).propertiesFile;
|
| | | }
|
| | | }
|
| | |
|
| | | /**
|
| | |
| | | */
|
| | | @Override
|
| | | protected synchronized Properties read() {
|
| | | if (propertiesFile.exists() && (forceReload || (propertiesFile.lastModified() > lastModified))) {
|
| | | if (propertiesFile != null && propertiesFile.exists() && (forceReload || (propertiesFile.lastModified() > lastModified))) {
|
| | | FileInputStream is = null;
|
| | | try {
|
| | | Properties props = new Properties();
|