I would like this functionality, to make darcs feel more responsive. I don't understand the patch completely. It would be good to know why it used to return () for PIPE.
I tested the patch as follows: darcs get http://darcs.net and hit ctrl-c one or more times near the beginning. You'll see there's a brief period where it responds to ctrl-c's by printing the "in a sensitive operation" warning, but it does not stop unless you press ctrl-c again after it has left the sensitive section. After applying the patch and rebuilding, I saw.. the same thing ? _______________________________________________ darcs-users mailing list darcs-users@darcs.net http://lists.osuosl.org/mailman/listinfo/darcs-users
