frenetic-lang/frenetic — pull request #366 by seliopou (2014-11-03 16:10:15+00:00)
Title: discovery: report PortDown events

When discovery was enabled, the code was incorrectly swallowing `PortDown` events and just reporting any `LinkDown` events related to that port. The code now reports the `LinkDown` event, followed by the `PortDown` event.