Interactive search does not stop on window close

While running a long interactive search and closing the window, no request is made do cancel the running search, and the server will actually go on searching for no reason.

A dialog should ask if you want to stop the search and eventually cancel the server thread before closing the window, as it does on advanced search.