Index: desktop/netsurf.c =================================================================== --- desktop/netsurf.c (Revision 13994) +++ desktop/netsurf.c (Arbeitskopie) @@ -253,13 +253,14 @@ void netsurf_exit(void) { - js_finalise(); - hlcache_stop(); LOG(("Closing GUI")); gui_quit(); + LOG(("Finalising JavaScript runtime")); + js_finalise(); + LOG(("Closing search and related resources")); search_web_cleanup();