From c1f8fdc3b502257890c149cd148fb8ccd5a72c0a Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Thu, 6 Jul 2023 09:16:10 +0200 Subject: [PATCH] fix: disable threaded console when we use fork This is similar to #8100 for the threaded console. The reason we're doing that is to avoid threads when fork is involved. Signed-off-by: Etienne Millon --- src/dune_config/config.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune_config/config.ml b/src/dune_config/config.ml index 1b43d3b3a76e..eac22094920d 100644 --- a/src/dune_config/config.ml +++ b/src/dune_config/config.ml @@ -146,7 +146,7 @@ let threaded_console = let t = { name = "threaded_console" ; of_string = Toggle.of_string - ; value = `Enabled + ; value = background_default } in register t;