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");