Reopening the options page causes issues

[geo]

Environment

Microsoft Edge 42.17134.1.0
Microsoft EdgeHTML 17.17134

How to reproduce

1. Open the options page
2. Close the options page
3. Reopen the options page
4. Change any setting

Observed behaviour

The UI is not updating and inspecting the background page reveals an The handle is invalid error.

Expected behaviour

The UI should update.

Background information

This behavior is caused by an ​Edge bug, basically port.onDisconnect event never fires, so a possible solution is to manually call port.disconnect when the page is unloaded.

Possible solution

Adding something like the following code to desktop-options solves the problem.

browser.runtime.sendMessage({
  type: "app.get",
  what: "platform"
},
(platform) =>
{
  if (platform == "edgehtml")
  {
    window.addEventListener("unload", () =>
    {
      port.disconnect();
    });
  }
});

[greiner]

Thanks for the detailed ticket and for including a possible solution. I'll take a look at whether I can reproduce this issue as soon as I've finished updating the Windows in my VM.

In general, I don't see an issue with adding the "unload" listener for all platforms as it doesn't seem to do anything we wouldn't want to do anyway.

[greiner]

I can reproduce this issue with our development build which, however, still seems to be on 0.9.11.2076. Apart from that it also appears in the latest build so I'm setting this ticket to ready.

[sebastian]

The development builds for Microsoft Edge are outdated. Our development build automation currently fails due to an issue with manifoldjs that needs to be addressed by Microsoft.

[greiner]

Done: ​https://gitlab.com/eyeo/adblockplus/abpui/adblockplusui/commit/d7dc6b7ae0ac9c0634a79c0cf5e6668ed7762522

[abpbot]

A commit referencing this issue has landed:
​Issue 6960 - Reopening the options page causes issues