Closed gselzer closed 1 year ago
This PR ensures that SearchOperations terminate when their Context is disposed. This prevents manual termination due to, for example, the closing of a GUI.
SearchOperation
Context
This PR ensures that
SearchOperation
s terminate when theirContext
is disposed. This prevents manual termination due to, for example, the closing of a GUI.