Closed christian-monch closed 3 months ago
This PR adds a close-handler to the uncurl annex remote. The handler closes all open url_operations-instances. This allows, for example, to terminate all shell-related threads and to exit the uncurl-process.
url_operations-instances
shell
This PR adds a close-handler to the uncurl annex remote. The handler closes all open
url_operations-instances
. This allows, for example, to terminate allshell
-related threads and to exit the uncurl-process.