On 06/10/2021 10:42, Daniel Fuchs wrote:
} catch (TimeoutException x) {
// timeout: cancel request to free up
// any related resources
cf.cancel();
Correction: that should be `cf.cancel(true)`
On 06/10/2021 10:42, Daniel Fuchs wrote:
} catch (TimeoutException x) {
// timeout: cancel request to free up
// any related resources
cf.cancel();
Correction: that should be `cf.cancel(true)`