[Rock-dev] [rock] #421: Rock-Replay does not work with non-localhost nameserver in logfiles

[rock]

#421: Rock-Replay does not work with non-localhost nameserver in logfiles
--------------------------------+------------------------------------
 Reporter:  marc.hildebrandt@…  |       Owner:  rock-dev-mailing-list
     Type:  defect              |      Status:  new
 Priority:  major               |   Milestone:
Component:  toolchain           |  Resolution:
 Keywords:                      |
--------------------------------+------------------------------------

Comment (by sylvain.joyeux):

 It seems that rock-replay parses the stream name to extract host and port
 and stops at the dot. "Modern" (less than one, 1.5 year-old) log files
 [http://rock.opendfki.de/wiki/WikiStart/Standards/RG8 contain metadata]
 that makes such parsing unneeded. The replay code should be updated to use
 this metadata.

 Thoughts, Alex ?

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