diff --git a/src/helma/util/SystemProperties.java b/src/helma/util/SystemProperties.java index a3cf40b7..01c0a4e4 100644 --- a/src/helma/util/SystemProperties.java +++ b/src/helma/util/SystemProperties.java @@ -147,6 +147,12 @@ public final class SystemProperties extends Properties { return props.elements(); } + public int size() { + if (System.currentTimeMillis () - lastcheck > cacheTime) + checkFile (); + return props.size(); + } + public String toString () { return props.toString (); }