1 | Index: proof-shell.el |
---|
2 | =================================================================== |
---|
3 | RCS file: /disk/cvs/proofgen/ProofGeneral/generic/proof-shell.el,v |
---|
4 | retrieving revision 11.17 |
---|
5 | diff -u -r11.17 proof-shell.el |
---|
6 | --- proof-shell.el 11 Sep 2011 12:54:03 -0000 11.17 |
---|
7 | +++ proof-shell.el 11 Sep 2011 18:38:22 -0000 |
---|
8 | @@ -369,9 +369,10 @@ |
---|
9 | (switch-to-buffer proof-shell-buffer) |
---|
10 | (error "%s process exited!" proc)) |
---|
11 | |
---|
12 | - ;; PG manages the prover process, don't query user on exit |
---|
13 | - (set-process-query-on-exit-flag |
---|
14 | - (get-buffer-process proof-shell-buffer) nil) |
---|
15 | + ;; Here we could disable the query-on-exit, but actually we shouldn't, |
---|
16 | + ;; cf. trac #424 |
---|
17 | + ;;; (set-process-query-on-exit-flag |
---|
18 | + ;;; (get-buffer-process proof-shell-buffer) nil) |
---|
19 | |
---|
20 | ;; Initialise associated buffers |
---|
21 | |
---|