Details
-
Improvement
-
Status: Open
-
Minor
-
Resolution: Unresolved
-
3.4.1
-
None
-
None
Description
It should be possible to cancel a remote traversals in Gremlin, for example when an application shuts down. This involves the following steps:
- Cancel the send operation.
- Cancel the task the user is awaiting on by cancelling the underlying TaskCompletionSource. This means that any received data for this traversal needs to be ignored afterwards.
- Cancel the operation on the server if possible.
I'm not sure if / how we can cancel the operation on the server. If it's not easy to do that right now, then we should just start by cancelling everything only client-side.