Skip to content
Commit 1e645a42 authored by schillinge's avatar schillinge
Browse files

Also compare ids against a server's ports 



The server's port list may contain ids, thus those also need to be
compared.

Change-Id: I2e53c111a22009b6c791abc9e52f28afa96d5b0a
Signed-off-by: default avatarschillinge <ablu@mail.uni-paderborn.de>
parent a879564e
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment