X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=ofproto%2Fofproto.c;fp=ofproto%2Fofproto.c;h=8bc9b590c50a3e44bc73fa4a7396b6393786ac64;hb=4780f13745796a22ac1971bb9bf90a39317d7094;hp=182da63363e3fc952783d535f581ab9d2993ce78;hpb=ee4dd8eb947b13dfc76f7898e9929d58b48ce03c;p=openvswitch

diff --git a/ofproto/ofproto.c b/ofproto/ofproto.c
index 182da633..8bc9b590 100644
--- a/ofproto/ofproto.c
+++ b/ofproto/ofproto.c
@@ -1666,7 +1666,8 @@ alloc_ofp_port(struct ofproto *ofproto, const char *netdev_name)
          * flows. */
         while (ofp_port >= ofproto->max_ports) {
             for (ofproto->alloc_port_no++;
-                 ofproto->alloc_port_no < ofproto->max_ports; ) {
+                 ofproto->alloc_port_no < ofproto->max_ports;
+                 ofproto->alloc_port_no++) {
                 if (!bitmap_is_set(ofproto->ofp_port_ids,
                                    ofproto->alloc_port_no)) {
                     ofp_port = ofproto->alloc_port_no;