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)`