diff --git a/src/app/launcher.php b/src/app/launcher.php index e77788b..5924340 100644 --- a/src/app/launcher.php +++ b/src/app/launcher.php @@ -89,8 +89,7 @@ class launcher { # puis lancer la commande $cmd = new Cmd($args); $cmd->addSource("/g/init.env"); - $cmd->addRedir("both", $logfile); - #XXX prendre le fichier de log de $runfile si possible? + $cmd->addRedir("both", $logfile, true); msg::debug("$pid: launching\n".$cmd->getCmd()); $cmd->fork_exec($exitcode); msg::debug("$pid: exitcode=$exitcode");