-
Committer:
Jonathan Lange
-
Date:
2016-02-14 13:01:31 UTC
-
Revision ID:
git-v1:cd286b23f23c2d79b60e1bb3686d7a17507595b8
Better handling of KeyboardInterrupt
When we get a suspected KeyboardInterrupt (no result from Deferred),
explicitly stop the result and report the error as if it were a user
error.