1 patch for repository http://darcs.net/screened:
patch 2d6e625736208ef4cbeae4e80b26c5076f8f3873
Author: Ben Franksen <ben.franksen@online.de>
Date: Sun Apr 2 15:05:30 CEST 2023
* resolve issue2701: clone ssh repo with Ctrl-C
This solves the problem by terminating all child processes that run a remote
'darcs transfer-mode' and recording that in the sshConnections MVar. The
next copySSH will then start a new child.