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

@@ -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 ();
 	}