[Rock-dev] [rock] #150: roby: reload_config in roby shell

[rock]

#150: roby: reload_config in roby shell
--------------------+------------------------------------
 Reporter:  thro02  |       Owner:  rock-dev-mailing-list
     Type:  defect  |      Status:  closed
 Priority:  normal  |   Milestone:
Component:  base    |  Resolution:  fixed
 Keywords:          |
--------------------+------------------------------------
Changes (by thro02):

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


Comment:

 fixed in orocos.rb commit 46c0d

-- 
Ticket URL: <http://rock.opendfki.de/ticket/150#comment:2>
rock <http://rock.opendfki.de>
rock: the robot construction kit