Adding support for black/whitelisting ports in port_manager. Refactored list_port_names API to return a set and to have an optional filter for blacklisted ports. partially fixes #34
Adapting xmp plugin to latest port_manager API changes. partially fixes #34
Do not propagate events for blacklisted ports to plugin_manager and switch_manager. partially fixes #34
Adding missing add/remove call to the set. Adding also some traces. fixes #34
Adding support for blacklisting(only) of ports in the config plugin. Partially fixes #34
Fixing debug whitelisting call in previous commit. Partially fixes #34
Adding a nice trace. Partially fixes and closes #34