From 01e8b5ccbd6a4c5234d80614d376726df239b214 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Mon, 21 Jul 2008 23:05:28 +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 2eb99e9a..536e2674 100644
--- a/src/helma/framework/core/TypeManager.java
+++ b/src/helma/framework/core/TypeManager.java
@@ -270,7 +270,7 @@ public final class TypeManager {
     /**
      *   Get a prototype defined for this application
      */
-    public Prototype getPrototype(String typename) {
+    public synchronized Prototype getPrototype(String typename) {
         if (typename == null) {
             return null;
         }