Vladimír Čunát authored 3 years ago and Tomas Krizek committed 3 years ago

They probably couldn't hang open for long, as each client request
should cause some cache-searching and thus close it, and even with
queries stopping I haven't managed to find a case where it would be
left open but... it's nicer to clean up and it should be very cheap.