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