From df7c3e0c861d9d45da7133a0327b64dc4f40d0b8 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Fri, 25 Aug 2006 18:51:16 +0000
Subject: [PATCH] * Copy over updated keyMap in update().

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

diff --git a/src/helma/util/ResourceProperties.java b/src/helma/util/ResourceProperties.java
index 0b6dfaf4..8aa567d2 100644
--- a/src/helma/util/ResourceProperties.java
+++ b/src/helma/util/ResourceProperties.java
@@ -232,6 +232,8 @@ public class ResourceProperties extends Properties {
                     it.remove();
                 }
             }
+            // copy new up-to-date keyMap to ourself
+            keyMap = temp.keyMap;
 
             lastChecksum = getChecksum();
             lastCheck = lastModified = System.currentTimeMillis();