diff options
Diffstat (limited to 'desktop/netsurf.c')
| -rw-r--r-- | desktop/netsurf.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/desktop/netsurf.c b/desktop/netsurf.c index 1b2b16e62..fc51a99e0 100644 --- a/desktop/netsurf.c +++ b/desktop/netsurf.c @@ -40,6 +40,7 @@ #include "desktop/browser.h" #include "desktop/gui.h" #include "desktop/options.h" +#include "desktop/searchweb.h" #include "utils/log.h" #include "utils/url.h" #include "utils/utf8.h" @@ -176,6 +177,8 @@ void netsurf_exit(void) { LOG(("Closing GUI")); gui_quit(); + LOG(("Closing search and related resources")); + search_web_cleanup(); LOG(("Finalising high-level cache")); hlcache_finalise(); LOG(("Finalising low-level cache")); |