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.)

diff --git a/lib/dpif.c b/lib/dpif.c
index 952e1a2db869db2361f9a6c57e9f8fb186f7f86a..03e13acc51b5877aa86eb367c9b2a7942bf979eb 100644 (file)
--- a/lib/dpif.c
+++ b/lib/dpif.c
@@ -482,7 +482,12 @@ dpif_port_del(struct dpif *dpif, uint16_t port_no)
     COVERAGE_INC(dpif_port_del);
 
     error = dpif->dpif_class->port_del(dpif, port_no);
-    log_operation(dpif, "port_del", error);
+    if (!error) {
+        VLOG_DBG_RL(&dpmsg_rl, "%s: port_del(%"PRIu16")",
+                    dpif_name(dpif), port_no);
+    } else {
+        log_operation(dpif, "port_del", error);
+    }
     return error;
 }