Disconnect or Shutdown issue ?

[palainp]

Dear developpers, I'm trying to be able to disconnect and reconnect uplink with Xen when I have an uplink change from the hypervisor. With #107 it works fine but I still observe: In the qubes-mirage-firewall context, with one AppVM client connected and an uplink connected, immediately after uplink disconnect/connect it raises some exceptions (Shared_page_pool.use after shutdown).
I'm currently trying to find what can use after the disconnect (possibly some, still unsent, packets but unsure at this time).

So I'm wondering if there isn't something to be done in/around/before/after:

• disconnect (there is a comment telling so

  mirage-net-xen/lib/frontend.ml

  Line 263 in 939dfcb

  (* TODO: free pages still in [t.rx_map] *)

  I don't know if that is related and how can I free some pages if uplink hasn't already read it. Note: in my case uplink will never read it)
• shutdown (there is a comment telling me to call shutdown again later ?

  mirage-net-xen/lib/shared_page_pool.ml

  Line 56 in 939dfcb

  (* Otherwise, shutdown gets called again when in_use becomes 0 *)

  ).

I welcome any advice :)