From 2b64b3a64d36d16a8b000fafafcd018c5447a4bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 29 Jan 2025 11:44:43 +0100
Subject: [PATCH] [kernel] Log: greatly lowers the limit at which messages are
 truncated.

(Messages emitted via Log.printf are never truncated.)
---
 src/kernel_services/plugin_entry_points/log.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel_services/plugin_entry_points/log.ml b/src/kernel_services/plugin_entry_points/log.ml
index 2aa52b66aa..88146911ff 100644
--- a/src/kernel_services/plugin_entry_points/log.ml
+++ b/src/kernel_services/plugin_entry_points/log.ml
@@ -21,7 +21,7 @@
 (**************************************************************************)
 
 (* Messages longer than N characters are truncated when printed on terminal. *)
-let max_message_length = 2097152
+let max_message_length = 10000
 
 type kind = Result | Feedback | Debug | Warning | Error | Failure
 
-- 
GitLab