[Rock-dev] [rock] #30: Logreplay is not working if unused data type changed

[rock]

#30: Logreplay is not working if unused data type changed
---------------------+----------------------------
  Reporter:  jama01  |      Owner:  Alexander.Duda
      Type:  defect  |     Status:  closed
  Priority:  normal  |  Component:  base
Resolution:  fixed   |   Keywords:
---------------------+----------------------------
Changes (by jasc02):

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


Comment:

 the behaviour is now, that an exception is thrown only when
 the port is accessed, not when loading. has_port? will return
 true for these 'invalid' ports.

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