modifs.mineures sans commentaires

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