darcs patch: catch exceptions when calling user-written code.

This is an amended version of this patch (with its long comment
modified to match), since sjanssen didn't like the whenJust
catching.
David
Thu Oct 11 21:33:05 EDT 2007 David Roundy

On Thu, Oct 11, 2007 at 06:35:49PM -0700, David Roundy wrote:
This is an amended version of this patch (with its long comment modified to match), since sjanssen didn't like the whenJust catching.
David
Thu Oct 11 21:33:05 EDT 2007 David Roundy
* catch exceptions when calling user-written code. This is a minimal approach that only catches error in actual user-written code.
Just to be clear, this is the one that I'd like applied. David

On Thursday 11 October 2007 20:35:49 David Roundy wrote:
This is an amended version of this patch (with its long comment modified to match), since sjanssen didn't like the whenJust catching.
David
Thu Oct 11 21:33:05 EDT 2007 David Roundy
* catch exceptions when calling user-written code. This is a minimal approach that only catches error in actual user-written code.
Thanks for giving in to my demands :). Applied.
participants (2)
-
David Roundy
-
Spencer Janssen