From b5b60e3d92f17df39431720b6de100f4adfe84b2 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Wed, 31 Aug 2005 12:18:13 +0000
Subject: [PATCH] * add getResources().

---
 src/helma/util/ResourceProperties.java | 8 ++++++++
 1 file changed, 8 insertions(+)

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