[infiniband] Reset port state after closing device

Signed-off-by: Michael Brown <mcb30@ipxe.org>

diff --git a/src/net/infiniband.c b/src/net/infiniband.c
index d0f08885b33b69bc667ecf6b7307dfea7f068118..147017fceca6f322814f3f388d8c78895bfa40fc 100644 (file)
--- a/src/net/infiniband.c
+++ b/src/net/infiniband.c
@@ -680,6 +680,7 @@ void ib_close ( struct ib_device *ibdev ) {
                ib_destroy_sma ( ibdev, ibdev->smi );
                ib_destroy_mi ( ibdev, ibdev->smi );
                ibdev->op->close ( ibdev );
+               ibdev->port_state = IB_PORT_STATE_DOWN;
        }
 }