When running a query in helptool (such as the default query,
which takes a lot of time...) if the client is killed, the
query still continues running in the background... it should
terminate gracefully with the front-end...
This will be much improved in helptool-2.4-8, which will
be in the next Raw Hide.