diff --git a/src/network/net_pcnet.c b/src/network/net_pcnet.c index 0bdd57f21..db1e5c618 100644 --- a/src/network/net_pcnet.c +++ b/src/network/net_pcnet.c @@ -2835,6 +2835,9 @@ pcnet_close(void *priv) pcnetlog(1, "%s: closed\n", dev->name); + /* Make sure the platform layer is shut down. */ + network_close(); + if (dev) { timer_disable(&dev->poll_timer);