From a5547d8d0ad78672b3aabd42984b3305f4b99137 Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Tue, 19 Mar 2002 19:26:29 +0000
Subject: [PATCH] removed dead code.

---
 src/helma/framework/core/TypeManager.java | 34 -----------------------
 1 file changed, 34 deletions(-)

diff --git a/src/helma/framework/core/TypeManager.java b/src/helma/framework/core/TypeManager.java
index 7b383625..99763a7e 100644
--- a/src/helma/framework/core/TypeManager.java
+++ b/src/helma/framework/core/TypeManager.java
@@ -154,40 +154,6 @@ public class TypeManager {
 	return true;
     }
 
-    /* public void start () {
-    	stop ();
-	typechecker = new Thread (this, "Typechecker-"+app.getName());
-	typechecker.setPriority (Thread.MIN_PRIORITY);
-	typechecker.start ();
-    }
-
-    public void stop () {
-	if (typechecker != null && typechecker.isAlive ())
-	    typechecker.interrupt ();
-	typechecker = null;
-    }
-
-    public void run () {
-
-	while (Thread.currentThread () == typechecker) {
-	    idleSeconds++;
-	    try {
-	        // for each idle minute, add 300 ms to sleeptime until 5 secs are reached.
-	        // (10 secs are reached after 30 minutes of idle state)
-	        // the above is all false.
-	        long sleeptime = 1000 + Math.min (idleSeconds*30, 4000);
-	        typechecker.sleep (sleeptime);
-	    } catch (InterruptedException x) {
-	        // app.logEvent ("Typechecker interrupted");
-	        break;
-	    }
-	    try {
-	        checkPrototypes ();
-	    } catch (Exception ignore) {}
-	}
-    } */
-
-
     /**
     *   Get a prototype defined for this application
     */