[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:  closed
 Priority:  major               |   Milestone:
Component:  toolchain           |  Resolution:  fixed
 Keywords:                      |
--------------------------------+------------------------------------
Changes (by Alexander.Duda):

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


Comment:

 The metadata are already used for the task name and therefore should also
 be used to recover the right port name. I updated master but left the old
 code for backward compatibility.

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