From 1282dc63651dc3cc14190212335361eeb7fac7c5 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 17 Jun 2024 14:43:45 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 src/app/launcher.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/app/launcher.php b/src/app/launcher.php
index fb2a017..5667bfe 100644
--- a/src/app/launcher.php
+++ b/src/app/launcher.php
@@ -85,7 +85,6 @@ class launcher {
         $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);
         msg::debug("$pid: exitcode=$exitcode");