[darcs-users] [darcs-devel] PATCH: Delay signal handling until after sensitive operations complete

Simon Michael simon at joyful.com
Mon Aug 11 17:51:02 UTC 2008


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 ?



More information about the darcs-users mailing list