[Rock-dev] [rock] #444: Rock-replay crashed if std::vector is resized

[rock]

#444: Rock-replay crashed if std::vector is resized
--------------------+---------------------
 Reporter:  jama01  |       Owner:
     Type:  defect  |      Status:  closed
 Priority:  major   |   Milestone:
Component:  base    |  Resolution:  fixed
 Keywords:          |
--------------------+---------------------
Changes (by sylvain.joyeux):

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


Comment:

 Fixed on master.

 The issue was with the invalidation mechanisms in Typelib. The vector
 element was not properly invalidated when a zero-sized array was copied
 onto it.

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