modifs.mineures sans commentaires

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