userResourcesLocation URL appears twice in the logger

[uBlock-user]

Describe the issue

userResourcesLocation URL appears twice in the logger when uBlock Filters is updated.

Screenshot in which the issue can be seen

Steps for anyone to reproduce the issue

1. Open Advanced Settings page and paste https://raw.githubusercontent.com/uBlock-user/uBO-Scriptlets/master/scriptlets.txt at userResourcesLocation as the URL and save it.

2. Open 3rd party Filters page and open the logger page for it, now click on the clock icon near uBlock Filters, followed by clicking on Update Now button.

3. Observe the logger page and notice there's a double entry for https://raw.githubusercontent.com/uBlock-user/uBO-Scriptlets/master/scriptlets.txt

Your settings

• OS/version: Win 10
• Browser/version: Chromium 67
• uBlock Origin version: 1.15.11.9

[uBlock-user]

P.S - As seen from the screenshot, the network requests are shown as behind-the-scene which didn't happen before, was this an intended change ?

[gorhill]

which didn't happen before

This has always been behind the scene, these are requests made by uBO, there is no tab associated with the extension.

[uBlock-user]

Really ? I remembered differently perhaps..

[uBlock-user]

Can no longer reproduce this, so closing. Logger refactorisation must have taken care of this for good.

[gorhill]

I could reproduce today. There is a race condition so this may or may not be reproduced according to how fast resources are updated. If they update fast, the resource file may be pulled twice. Anyway, I will push an update where this is fixed.