tree d7f94877cab8edd1121da06bea8ce905902fb314
parent 2a2ea60943ec353a1847433175c130f44188b2eb
author Pier <pierventre@hotmail.com> 1473287191 -0700
committer Pier <pierventre@hotmail.com> 1473287532 -0700

Fix a minor issue preventing the deployment of Mininet in
a separate machine

Change-Id: Ib3294cffd563b4754d6423dd7f1e202545cd2551