diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 10:46:27 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-23 10:46:27 +0000 |
commit | 4a1bdaadf562d8bbf927ccfbb8916fb86477240d (patch) | |
tree | c057f4a85d9ef83413cdd938f7161b4e479dec03 /generic/proof-shell.el | |
parent | b441554ab56e8e8294e1f43069ee48acc4ed77a3 (diff) |
Kill prover process without asking on Emacs exit
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index fe439115..5c757cc6 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -349,6 +349,10 @@ process command." (switch-to-buffer proof-shell-buffer) (error "%s process exited!" proc)) + ;; PG manages the prover process, don't query user on exit + (set-process-query-on-exit-flag + (get-buffer-process proof-shell-buffer) nil) + ;; Initialise associated buffers (with-current-buffer proof-response-buffer |