From c3cd2be2918af99f62f867a7349ba54baae79e2c Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Thu, 9 Feb 2006 13:03:03 +0000
Subject: [PATCH] * Check if property is set before trying to set its attribute
 in dontEnum().   Fixes bug 455.

---
 src/helma/scripting/rhino/GlobalObject.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/helma/scripting/rhino/GlobalObject.java b/src/helma/scripting/rhino/GlobalObject.java
index 80f85cf6..207a81bb 100644
--- a/src/helma/scripting/rhino/GlobalObject.java
+++ b/src/helma/scripting/rhino/GlobalObject.java
@@ -650,7 +650,9 @@ public class GlobalObject extends ImporterTopLevel implements PropertyRecorder {
                 throw new EvaluatorException("dontEnum() called with non-String argument");
             }
             String str = (String) args[i];
-            obj.setAttributes(str, obj.getAttributes(str) | DONTENUM);
+            if (obj.has(str, obj)) {
+                obj.setAttributes(str, obj.getAttributes(str) | DONTENUM);
+            }
         }
         return null;
     }