From d8a7f6c3d43089a1b8c2940f380732da610ddcca Mon Sep 17 00:00:00 2001 From: hns Date: Thu, 29 Jul 2004 11:43:48 +0000 Subject: [PATCH] Add getter for the underlying file --- src/helma/util/SystemProperties.java | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/src/helma/util/SystemProperties.java b/src/helma/util/SystemProperties.java index 85359cee..f70ce60b 100644 --- a/src/helma/util/SystemProperties.java +++ b/src/helma/util/SystemProperties.java @@ -110,6 +110,15 @@ public final class SystemProperties extends Properties { lastcheck = System.currentTimeMillis(); } + /** + * Get the properties file + * + * @return the properties file + */ + public File getFile() { + return file; + } + /** * Reload properties. This clears out the existing entries, * loads the main properties file and then adds any additional