tree 7b54b66d0a26e0167a76fda20f6f41b4231405e8
parent 937f153f4d00ed408bbc59a736cd8f923c4eb94f
author peusterm <manuel.peuster@uni-paderborn.de> 1499782115 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1499782115 +0200

Fix: Be more robust if OS ports do not exist in the model