Allow filtering ports by device_id 52/7152/6
authorschillinge <ablu@mail.uni-paderborn.de>
Wed, 30 Jan 2019 19:17:54 +0000 (20:17 +0100)
committerschillinge <ablu@mail.uni-paderborn.de>
Tue, 5 Feb 2019 15:07:51 +0000 (16:07 +0100)
This otherwise leads to errors in RO, which checks whether the ports of a
specific instance are created.

Change-Id: I563dc84db299e6148b7970e8c9716460653c6b48
Signed-off-by: schillinge <ablu@mail.uni-paderborn.de>

No differences found