diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-09-14 11:17:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-09-14 11:17:35 +0000 |
commit | 8683a3057bb232737631ffe20ce63db92a123624 (patch) | |
tree | a965d8895775d98a9a9eeb0daee2db8a71f18e5e /generic/proof-shell.el | |
parent | cc1bbad6b4defef7a728de226f7f1ee17cfcce17 (diff) |
Remove contentious call to set-process-query-on-exit-flag, ref Trac#424
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index a2d37f6b..93721855 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -369,10 +369,6 @@ 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 |