commit 232db0f5a33ef01f2b1f21be432e4ac223781ddc
author Charles Chan <rascov@gmail.com> Thu Aug 23 15:51:49 2018 -0700
committer Carmelo Cascone <carmelo@opennetworking.org> Thu Aug 23 23:22:00 2018 +0000
tree 87797f7814245285284fea652af5b64968dc8bfb
parent 36c3b498902bd780a082e2179ab14661580efa46

Push driver with pipeconfId when available

Change-Id: I9dfebdd123c0efdf044bcc85177ef6b9658ee1af
(cherry picked from commit 4dd6cccad747066377830a4c50e7d5d14a41c613)

tools/dev/mininet/bmv2.py

diff --git a/tools/dev/mininet/bmv2.py b/tools/dev/mininet/bmv2.py
index 0c0fc15..a8034c2 100644
--- a/tools/dev/mininet/bmv2.py
+++ b/tools/dev/mininet/bmv2.py
@@ -131,7 +131,7 @@
     def getDeviceConfig(self, srcIP):
 
         basicCfg = {
-            "driver": "bmv2"
+            "driver": ("bmv2:" + self.pipeconfId) if self.pipeconfId != None else "bmv2"
         }
 
         if self.longitude and self.latitude: