From 8e96f6fee8fbea9b631776d6013db75da6f4ba45 Mon Sep 17 00:00:00 2001
From: stefanp <helma@helma.org>
Date: Thu, 18 Apr 2002 09:35:54 +0000
Subject: [PATCH] added wrapper for Hashtable.size()-method

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

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 ();
     }