From ed3e3ef00f1bdc4098b15f3e90a7ac0347b115b6 Mon Sep 17 00:00:00 2001 From: Charles Toulemonde Date: Wed, 25 Jan 2012 07:20:06 +0000 Subject: [PATCH] =?utf8?q?ajout=20de=20l'option=20-v=20sur=20le=20ligne=20?= =?utf8?q?de=20command=20de=20runMAP=20pour=20avoir=20un=20retour=20explic?= =?utf8?q?ite=20de=20l'ex=C3=A9cution=20en=20console?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- generator/generator_map.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generator/generator_map.py b/generator/generator_map.py index 03c59ce4..86ed2515 100644 --- a/generator/generator_map.py +++ b/generator/generator_map.py @@ -101,7 +101,7 @@ class MapGenerator(PythonGenerator): self.texteExecution += texteCode self.temp_parameter_file = os.tempnam(None, "map_" + code + "_") self.texteExecution = os.path.join(os.getenv("MAP_DIRECTORY"), "runMAP") - self.texteExecution += " " + self.temp_parameter_file + self.texteExecution += " " + self.temp_parameter_file + " -v" f_id = open(self.temp_parameter_file, "w") f_id.write(string) f_id.close() -- 2.39.2