From db76487f41ba74a09edbad3560cbdb850f427be7 Mon Sep 17 00:00:00 2001 From: John Ericson Date: Wed, 14 May 2025 16:56:56 -0400 Subject: [PATCH] doc/rl-next: Add repl-and-logging --- doc/manual/rl-next/repl-and-logging.md | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 doc/manual/rl-next/repl-and-logging.md diff --git a/doc/manual/rl-next/repl-and-logging.md b/doc/manual/rl-next/repl-and-logging.md new file mode 100644 index 000000000..a943e59e3 --- /dev/null +++ b/doc/manual/rl-next/repl-and-logging.md @@ -0,0 +1,9 @@ +--- +synopsis: "Fix chopped up repl output" +issues: [12599] +prs: [12604] +--- + +The REPL and logger now contend for standard output in a much more systematic manner. +In particular, the synchronisation mechanism is more error-tolerant, by virtue of now using [RAII](https://en.wikipedia.org/wiki/Resource_acquisition_is_initialization). +REPL output should no longer interrupt or be interrupted by the logger mid-message,