diff options
author | hendriktews <hendrik@askra.de> | 2016-12-14 21:15:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-12-14 21:15:52 +0100 |
commit | e393e87c0f240ae37286649a415f0020ce75acba (patch) | |
tree | 89932839b6f017f6ca87f9c5c11b6e80d4660ceb /generic | |
parent | 9ef31c75a9133693ce462286c4c2aa6428cca06f (diff) | |
parent | cab89d031162b5d964bbc299fe0f451cf0daef71 (diff) |
Merge pull request #129 from hendriktews/keep-going
Keep going
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 4cb46b0c..7a397a06 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -88,9 +88,11 @@ See the functions `proof-start-queue' and `proof-shell-exec-loop'.") (defsubst proof-shell-invoke-callback (listitem) "From `proof-action-list' LISTITEM, invoke the callback on the span." - (condition-case nil + (condition-case err (funcall (nth 2 listitem) (car listitem)) - (error nil))) + (error + (message "error escaping proof-shell-invoke-callback: %s" err) + nil))) (defvar proof-second-action-list-active nil "Signals that some items are waiting outside of `proof-action-list'. |