mininet/mininet — pull request #268 by adferguson (2014-01-24 21:16:33+00:00)
Title: check length of user's DPID value and pad if necessary

userspace reference switch requires exactly 12 hex digits,
while OVS requires exactly 16. previously, an invalid length
would cause problems silently.

thanks,
Andrew