search

ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
488 stars 86 forks source link

PG hangs with a commands > 4096 characters #3

Closed Matafou closed 8 years ago

Matafou commented 8 years ago

I have read in forums that process output may be cut every 4098 characters, but comint mode seems to send only the first 4096 chars of a command if there is no newline, and wait for the next linebreak to send the remaining part. This makes pg hang because the commands are "stripped" of CR before being sent to the comint buffer.

Don't know the right fix here. Stripping is done to ensure having only one prompt per command.

Matafou commented 8 years ago

Actually this was already noted in #453 (in the old tracker http://proofgeneral.inf.ed.ac.uk/trac/ticket/453).

Fix was to put connection-type to nil when emacs is = 24. Changed it to >= 24.