diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-04 17:14:29 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-01-04 17:14:29 +0100 |
commit | 15b977ff32f6c8250d47d7657987b0c94db76710 (patch) | |
tree | 7f70c0855d99fe7d37f784fc45e763ee9afa383b /generic/proof-tree.el | |
parent | af30e1ef04320547273fa02967ddcdb18f380f12 (diff) | |
parent | 8d405f342bb3a1903fc12184f78f191e7d84c29d (diff) |
Merge remote-tracking branch 'OFFICIAL/master'
Diffstat (limited to 'generic/proof-tree.el')
-rw-r--r-- | generic/proof-tree.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-tree.el b/generic/proof-tree.el index 03af645e..77d3cc33 100644 --- a/generic/proof-tree.el +++ b/generic/proof-tree.el @@ -556,7 +556,8 @@ Runs on process status changes and cleans up when prooftree dies." "Start the external prooftree process. Does also initialize the communication channel and some internal variables." - (let ((old-proof-tree (get-process proof-tree-process-name))) + (let ((process-connection-type nil) ; use pipes, see emacs bug #24531 + (old-proof-tree (get-process proof-tree-process-name))) ;; reset output marker (when proof-tree-output-marker (set-marker proof-tree-output-marker nil) |