Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
chainsend: add optional argument to deployment file generator, so that we can generat...
authorMaximiliano Geier <maximiliano.geier@loria.fr>
Mon, 7 Jan 2013 17:51:50 +0000 (18:51 +0100)
committerMaximiliano Geier <maximiliano.geier@loria.fr>
Mon, 7 Jan 2013 17:51:50 +0000 (18:51 +0100)
commit6eb959ab32af31efe6bf68a3f263a1211b368c18
treebae380f7a9a2aad0cd93e0f8b3087727171c76c0
parentc59fb90ea83ce58355bc388b1a5ebaef96420806
chainsend: add optional argument to deployment file generator, so that we can generate a deployment file for a subset of the nodes in the platform file
examples/msg/chainsend/generate_deployment_file.rb