From 51ba3dc963b10dcdfae4dbdc4472d36999420fed Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Mon, 21 Jul 2008 23:02:22 +0000
Subject: [PATCH] Make sure _all_ access to TypeManager.prototype field is
 synchronized.

---
 src/helma/framework/core/TypeManager.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/helma/framework/core/TypeManager.java b/src/helma/framework/core/TypeManager.java
index b6758207..2eb99e9a 100644
--- a/src/helma/framework/core/TypeManager.java
+++ b/src/helma/framework/core/TypeManager.java
@@ -263,7 +263,7 @@ public final class TypeManager {
      *
      * @return a collection containing the prototypes
      */
-    public Collection getPrototypes() {
+    public synchronized Collection getPrototypes() {
         return Collections.unmodifiableCollection(prototypes.values());
     }