From 6e08e1bf5df320d245010638a62b68cdf966816f Mon Sep 17 00:00:00 2001
From: Witold Filipczyk <witekfl@poczta.onet.pl>
Date: Tue, 24 Oct 2006 19:10:10 +0200
Subject: [PATCH] ECMAScript: Probably superfluous kill_timer. Removed unused
 include.

---
 src/ecmascript/ecmascript.c | 4 ++++
 src/ecmascript/ecmascript.h | 1 -
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/ecmascript/ecmascript.c b/src/ecmascript/ecmascript.c
index a5e14b20e..a8f237546 100644
--- a/src/ecmascript/ecmascript.c
+++ b/src/ecmascript/ecmascript.c
@@ -16,6 +16,7 @@
 #include "ecmascript/spidermonkey.h"
 #include "intl/gettext/libintl.h"
 #include "main/module.h"
+#include "main/timer.h"
 #include "osdep/osdep.h"
 #include "protocol/protocol.h"
 #include "protocol/uri.h"
@@ -145,6 +146,9 @@ ecmascript_put_interpreter(struct ecmascript_interpreter *interpreter)
 #endif
 	free_string_list(&interpreter->onload_snippets);
 	done_string(&interpreter->code);
+	/* Is it superfluous? */
+	if (interpreter->vs->doc_view)
+		kill_timer(&interpreter->vs->doc_view->document->timeout);
 	interpreter->vs->ecmascript = NULL;
 	mem_free(interpreter);
 }
diff --git a/src/ecmascript/ecmascript.h b/src/ecmascript/ecmascript.h
index c1b038f66..47063bb91 100644
--- a/src/ecmascript/ecmascript.h
+++ b/src/ecmascript/ecmascript.h
@@ -6,7 +6,6 @@
  * plasm displays for everyone. */
 
 #include "main/module.h"
-#include "main/timer.h"
 #include "util/time.h"
 
 struct string;