From 96f551142c8ba974039705c3f447d1c3097522f4 Mon Sep 17 00:00:00 2001 From: hns Date: Wed, 11 Jun 2003 13:32:09 +0000 Subject: [PATCH] Added public update() method that checks the file and re-reads properties if necessary. --- src/helma/util/SystemProperties.java | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/helma/util/SystemProperties.java b/src/helma/util/SystemProperties.java index 408ab729..c58f74fc 100644 --- a/src/helma/util/SystemProperties.java +++ b/src/helma/util/SystemProperties.java @@ -97,6 +97,13 @@ public final class SystemProperties extends Properties { return Math.max(file.lastModified(), lastadd); } + /** + * Update/re-read the properties from file if necessary. + */ + public void update () { + checkFile(); + } + /** * Return a checksum that changes when something in the properties changes. */