[Rock-dev] [rock] #296: "use_deployments" has no effect on selecting multiple deployments for one task

[rock]

#296: "use_deployments" has no effect on selecting multiple deployments for one
task
-------------------------------------+------------------------------------
 Reporter:  christian.rauch          |       Owner:  rock-dev-mailing-list
     Type:  defect                   |      Status:  closed
 Priority:  normal                   |   Milestone:
Component:  toolchain                |  Resolution:  invalid
 Keywords:  syskit, use_deployments  |
-------------------------------------+------------------------------------
Changes (by sylvain.joyeux):

 * status:  new => closed
 * resolution:   => invalid


Comment:

 use_deployments expects the deployed task name, not the deployment name.

 I've updated the error message, I'll update the documentation as well

-- 
Ticket URL: <https://rock.opendfki.de/ticket/296#comment:1>
rock <https://rock.opendfki.de>
rock: the robot construction kit