mirror of
https://github.com/rkd77/elinks.git
synced 2024-12-04 14:46:47 -05:00
ECMAScript: Probably superfluous kill_timer. Removed unused include.
This commit is contained in:
parent
2fe0623298
commit
6e08e1bf5d
@ -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);
|
||||
}
|
||||
|
@ -6,7 +6,6 @@
|
||||
* plasm displays for everyone. */
|
||||
|
||||
#include "main/module.h"
|
||||
#include "main/timer.h"
|
||||
#include "util/time.h"
|
||||
|
||||
struct string;
|
||||
|
Loading…
Reference in New Issue
Block a user