Re: [Maria-developers] RFC: Pausing a query thread