From 8c0c1a2f857b00c99f0e8d9ff0c166329c9944aa Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Sat, 15 Jun 2024 11:02:01 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 src/app/launcher.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/app/launcher.php b/src/app/launcher.php
index 87834d4..81b0b93 100644
--- a/src/app/launcher.php
+++ b/src/app/launcher.php
@@ -23,7 +23,7 @@ class launcher {
       "--internal-use", $tmpfile->getFile(),
       $appClass, "--", ...$args,
     ]);
-    $cmd->addRedir("null");
+    $cmd->addRedir("both", "/tmp/_nulib_launch-launcher.log");
     $cmd->passthru($exitcode);
 
     # attendre un peu que la commande aie le temps de s'initialiser
@@ -51,8 +51,9 @@ class launcher {
       try {
         # puis lancer la commande
         $cmd = new Cmd($args);
-        #XXX fichier de log?
         $cmd->addSource("/g/init.env");
+        $cmd->addRedir("both", "/tmp/_nulib_launch-app.log");
+        #XXX prendre le fichier de log de $runfile si possible?
         $cmd->addRedir("null");
         msg::debug("$pid: launching\n".$cmd->getCmd());
         $cmd->fork_exec($exitcode);