[Rock-dev] [rock] #275: orocos.rb: task name gets not set if run with :gdb => true

[rock]

#275: orocos.rb: task name gets not set if run with :gdb => true
----------------------------+------------------------------------
 Reporter:  Alexander.Duda  |       Owner:  rock-dev-mailing-list
     Type:  defect          |      Status:  closed
 Priority:  major           |   Milestone:
Component:  base            |  Resolution:  invalid
 Keywords:                  |
----------------------------+------------------------------------
Changes (by Alexander.Duda):

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


Comment:

 The old name was still on the name-service and Orocos.run was calling the
 code block even the task was no longer running because of a gdb server
 time-out.

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