des-testbed/desvirt — pull request #13 by OlegHahm (2014-08-07 14:44:16+00:00)
Title: allow to specify the TCP port in XML

This patch allows to set the TCP port for RIOT native in the XML file in
order to ease script development.