X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=ovsdb%2Fjsonrpc-server.c;fp=ovsdb%2Fjsonrpc-server.c;h=e999adafe5f84f79fdec6fccb253ff83c08b2756;hb=f97ffebfb8e66d7ce0ed78517dff322aa4825aea;hp=1da15785aa939eab9c25cd5441c1177c2e92efcf;hpb=7f1656751a2a34e5f52301b9efe1709080a2c603;p=openvswitch

diff --git a/ovsdb/jsonrpc-server.c b/ovsdb/jsonrpc-server.c
index 1da15785..e999adaf 100644
--- a/ovsdb/jsonrpc-server.c
+++ b/ovsdb/jsonrpc-server.c
@@ -141,6 +141,7 @@ ovsdb_jsonrpc_server_set_remotes(struct ovsdb_jsonrpc_server *svr,
 
     SHASH_FOR_EACH_SAFE (node, next, &svr->remotes) {
         if (!shash_find(new_remotes, node->name)) {
+            VLOG_INFO("%s: remote deconfigured", node->name);
             ovsdb_jsonrpc_server_del_remote(node);
         }
     }