tree fe7742f297d132cf9ab6577d8ec5cb8fb1db08f1
parent 5f7d3bc950326b924156867eb58560dd92c7cba8
author Carmelo Cascone <carmelo@opennetworking.org> 1555143745 -0700
committer Carmelo Cascone <carmelo@opennetworking.org> 1555360452 +0000

Minor fixes for P4Runtime devices

- Push ports before device is marked online
- Do not notify role NONE on device disconnection (otherwise the
DeviceManager won't mark the device as offline if there's not a master)
- Detect changes in the pipeconf extensions when reloading a pipeconf

Change-Id: I1779987da1269ec98c71b2ccda7bb579be5bf3f0