X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fvconn.c;h=7b9ae610e843f681e88dfae814a303b63232ca16;hb=539e96f62300e4afab00e5906a28e3b89301d62e;hp=b11650fbc8b10f5a853bb49631f81d0d47b63ad3;hpb=5f21d20e65f1846c346704ac7c749a3f0ad8660e;p=openvswitch

diff --git a/lib/vconn.c b/lib/vconn.c
index b11650fb..7b9ae610 100644
--- a/lib/vconn.c
+++ b/lib/vconn.c
@@ -1444,6 +1444,7 @@ vconn_init(struct vconn *vconn, struct vconn_class *class, int connect_status,
     vconn->local_ip = 0;
     vconn->local_port = 0;
     vconn->name = xstrdup(name);
+    assert(vconn->state != VCS_CONNECTING || class->connect);
 }
 
 void