Re: Changing the way we do cancellation. (was: Re: [PATCH]: Let users cancel out of command line client immediately if they signal 3 times)

On 2006-03-13 21:34:21 -0500, Daniel Berlin wrote:
> Not all of our users have the same needs. We could choose one of the
> signals we currently ignore completely, and specify it to cancel instead
> of kill, if that is the route we wanted to take and you are worried
> about such a thing.

Isn't that the difference between SIGINT (usually Ctrl-C) and SIGQUIT
(usually Ctrl-\)? IMHO, the SIGQUIT handler should quit immediately,
with minimal clean-up, and the SIGINT handler should do a full clean-up
after displaying a message (and I agree that a second SIGINT should
abort the clean-up immediately).

-- 
Vincent Lefèvre <vincent_at_vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@subversion.tigris.org
For additional commands, e-mail: dev-help@subversion.tigris.org