X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fdpif.c;h=03e13acc51b5877aa86eb367c9b2a7942bf979eb;hb=9099e1fc163534c0d66ba0d6b07889647485819b;hp=952e1a2db869db2361f9a6c57e9f8fb186f7f86a;hpb=c3827f619a38d3d202020838e1f92860046a3dbe;p=openvswitch

diff --git a/lib/dpif.c b/lib/dpif.c
index 952e1a2d..03e13acc 100644
--- 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;
 }