From a6eb8d62ca60cbc35ba60e4d2e3de2a69447222c Mon Sep 17 00:00:00 2001
From: hns <hannesw@gmail.com>
Date: Thu, 27 Jun 2002 14:19:59 +0000
Subject: [PATCH] Kill Threads the hard way when timeouts occurr. Eventually,
 we might want to add a method in the ScriptingEngine interface for that
 purpose, i.e. to let scripting engines kill threads in a soft + specific way.

---
 src/helma/framework/core/RequestEvaluator.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/helma/framework/core/RequestEvaluator.java b/src/helma/framework/core/RequestEvaluator.java
index 3baf4a5e..da1a755a 100644
--- a/src/helma/framework/core/RequestEvaluator.java
+++ b/src/helma/framework/core/RequestEvaluator.java
@@ -608,8 +608,11 @@ public final class RequestEvaluator implements Runnable {
 	        try {
 	            t.abort ();
 	        } catch (Exception ignore) {}
+	        try {
+	            t.stop ();
+	        } catch (Exception ignore) {}
 	    } else {
-                     notifyAll ();
+	        notifyAll ();
 	    }
 	    t.closeConnections ();
 	}