dpif: Log port number of deleted port in dpif_port_del().
authorBen Pfaff <blp@nicira.com>
Fri, 3 Dec 2010 22:42:28 +0000 (14:42 -0800)
committerBen Pfaff <blp@nicira.com>
Fri, 3 Dec 2010 22:42:28 +0000 (14:42 -0800)
commita181129613bd0e48942e84577cbf4c78809ec256
tree2613a76291e4a99213e82e309ec76eee843ce374
parentc3827f619a38d3d202020838e1f92860046a3dbe
dpif: Log port number of deleted port in dpif_port_del().

This made tracking down a particular bug easier for me.  (It's too bad that
we can't log the port name, but we don't have it here.)
lib/dpif.c