From f458fbb3e7376e98a994d17590095fb02b5b2cfb Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Tue, 30 Sep 2025 08:18:42 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 .idea/php-docker-settings.xml       | 15 +++++++++++++++
 php/src/output/std/StdMessenger.php |  1 +
 2 files changed, 16 insertions(+)

diff --git a/.idea/php-docker-settings.xml b/.idea/php-docker-settings.xml
index bd786be..047d43d 100644
--- a/.idea/php-docker-settings.xml
+++ b/.idea/php-docker-settings.xml
@@ -17,6 +17,21 @@
             </DockerContainerSettings>
           </value>
         </entry>
+        <entry key="38915385-b3ff-4f4b-8a9a-d5f3ecae559e">
+          <value>
+            <DockerContainerSettings>
+              <option name="version" value="1" />
+              <option name="volumeBindings">
+                <list>
+                  <DockerVolumeBindingImpl>
+                    <option name="containerPath" value="/opt/project" />
+                    <option name="hostPath" value="$PROJECT_DIR$" />
+                  </DockerVolumeBindingImpl>
+                </list>
+              </option>
+            </DockerContainerSettings>
+          </value>
+        </entry>
       </map>
     </list>
   </component>
diff --git a/php/src/output/std/StdMessenger.php b/php/src/output/std/StdMessenger.php
index 3892a0d..c163aeb 100644
--- a/php/src/output/std/StdMessenger.php
+++ b/php/src/output/std/StdMessenger.php
@@ -424,6 +424,7 @@ class StdMessenger implements _IMessenger {
         # tout d'abord userMessage
         if ($exception instanceof UserException) {
           $userMessage = UserException::get_user_message($exception);
+          $userMessage ??= "Une erreur technique s'est produite";
           $showSummary = true;
         } else {
           $userMessage = UserException::get_summary($exception);