diff --git a/src/helma/util/ResourceProperties.java b/src/helma/util/ResourceProperties.java index 56393b7a..f1578c9e 100644 --- a/src/helma/util/ResourceProperties.java +++ b/src/helma/util/ResourceProperties.java @@ -161,6 +161,14 @@ public class ResourceProperties extends Properties { return; } + /** + * Get an iterator over the properties' resources + * @return iterator over the properties' resources + */ + public Iterator getResources() { + return resources.iterator(); + } + /** * Checks wether the properties need to be updated * @return true if the properties need tu be updated