During my tests, I've noticed I didn't handle query cancellation, thisis now fixed. I've also added additional comments related toavailable_results to make it clearer that it depends on what theserver has flushed to the client.