How to solve the input issue of the v4.8 repl server?

[Kouer-www]

I encountered an issue related to Lean REPL 4.8. (I have some reasons that necessitate the use of this version.）When used as a server, Lean REPL 4.8 requires three '\n' characters to get a response, unlike Lean REPL 4.11, which only needs two. However, using three '\n' characters triggers a formatting issue that causes the server to shut down. Is it possible to modify the internal code of the REPL so that it recognizes two '\n' characters as sufficient for a response?

[augustepoiroux]

What are your reasons behind using v4.8.0? Is it because you need Lean v4.8.0?
If so, I have backported all recent bugfixes and new features to all Lean versions between v4.7.0-rc1 and v4.19.0-rc2 in this branch (including v4.8.0). Each commit corresponds to a Lean version.
It is likely that this bug is resolved in this branch as we test each version.