[Rock-dev] [rock] #421: Rock-Replay does not work with non-localhost nameserver in logfiles
rock
noreply at opendfki.de
Tue Feb 18 10:07:26 CET 2014
#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
More information about the Rock-dev
mailing list