Carmelo Cascone d51a555886 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

2019-04-15 20:34:12 +00:00

..

api

Allow sharing the same gRPC channel between clients

2019-04-11 23:14:41 +00:00

ctl

Minor fixes for P4Runtime devices

2019-04-15 20:34:12 +00:00

model

Parse action profile max group size from P4Info annotations

2019-03-22 05:00:35 +00:00

proto

Removing BUCK files and other Buck-related auxiliaries.

2018-10-24 20:02:31 +00:00

BUILD

buildifier reformatting of bazel files

2018-08-15 17:55:00 +00:00