pull down to refresh

Quick note @ekzyis I still seem to be getting duplicate push notifications on edited items where I’m mentioned.

Huh, weird, thanks for letting me know, will check

reply

Mhh, seems to work for me on beade67

Maybe this is related to this? Since both could be caused by a stale service worker.

But it should immediately update and register the new service worker 🤔

reply

Yea it does feel like the service worker is stale for me. Hmm…

reply

Is it only on iOS? Or also desktop?

My service worker is #1520:

https://m.stacker.news/4852

Not sure how to check on mobile but maybe with USB debugging or something.

reply

I'm not sure those numbers are global ids. Mine is #8745

reply

Oh, interesting, guess I must have skipped some (a lot of) updates

So makes sense, it's not a global id

Good point!

reply

I’ve only tried iOS. I can take a look via USB debug later, I’m traveling today.

What does this number mean?

reply

Nah, I think the number is not relevant anymore, see @k00b's comment

The number just increments when your service worker was updated

reply