Closed MarinPostma closed 1 month ago
This PR implements cancelling a query when the underlying request is dropped. This is done by adding a progress handler to the connection that checks every 100 instruction if the request has been dropped.
This PR implements cancelling a query when the underlying request is dropped. This is done by adding a progress handler to the connection that checks every 100 instruction if the request has been dropped.