From 493211dbd924520e6842f3e5d7c8fd1b3cbf1485 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel
Date: Fri, 10 Jun 2016 17:15:29 -0400
Subject: Reset proof-script-buffer to nil if -ready-prover fails

Fixes #65
---
 generic/proof-shell.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 4f89963e..64eee4c8 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -379,7 +379,10 @@ process command."
 	(setq proof-shell-buffer (get-buffer (concat "*" proc "*")))
 
 	(unless (proof-shell-live-buffer)
-	  ;; Give error now if shell buffer isn't live (process exited)
+	  ;; Give error now if shell buffer isn't live (process exited). We also
+	  ;; set the process filter to nil to avoid processing error messages
+	  ;; related to the process exit.
+	  (set-process-filter (get-buffer-process proof-shell-buffer) nil)
 	  (setq proof-shell-buffer nil)
 	  (error "Starting process: %s..failed" prog-command-line)))
       
-- 
cgit v1.2.3