From 28a0ffbcb1c6a442a4f5d4a3825ea303dca8b854 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 3 Jan 2013 09:33:38 +0000
Subject: - fix asserting when parallel background compilation is in progress -
 fix aborting background compilation on error

---
 generic/proof-shell.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 3c73c53d..6bfbef51 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -681,6 +681,9 @@ unless the FLAGS for the command are non-nil (see `proof-action-list')."
       (save-excursion
 	(proof-script-clear-queue-spans-on-error badspan 
 						 (eq err-or-int 'interrupt))))
+    ;; Note: coq-par-emergency-cleanup, which might be called via
+    ;; proof-shell-handle-error-or-interrupt-hook below, assumes that
+    ;; proof-action-list is empty on error. 
     (setq proof-action-list nil)
     (proof-release-lock)
     (unless flags
-- 
cgit v1.2.3