You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I try to implement a protocol which sets custom connection timeouts, so my attempt was to Lwt.cancel (or Lwt.pick [ create_connection ... ; sleep timeout ]), but it turns out that this doesn't do anything, instead after the connection establishment timeout, the create_connection task continues to run. Is there a way to cancel them?
The text was updated successfully, but these errors were encountered:
I try to implement a protocol which sets custom connection timeouts, so my attempt was to
Lwt.cancel
(orLwt.pick [ create_connection ... ; sleep timeout ]
), but it turns out that this doesn't do anything, instead after the connection establishment timeout, the create_connection task continues to run. Is there a way to cancel them?The text was updated successfully, but these errors were encountered: