2

So today we came across an issue with the pinging system in chat; when a user has a shorter version of another user's name (i.e. "Ben" and "Benjamin" was the case we found), if the other user has a comment after the first user, it pings the wrong person.

"@Ben" pinged "Benjamin" instead

I realise this may not be a "bug" as such, just an unexpected feature. Should something be done about this?

  • Not sure what you mean? Both Ben's should get a ping in such case. (chat pings are different from comment replies) – Shadow The Princess Wizard Jul 3 '15 at 6:38
  • @ShadowWizard unfortunately in this case I didn't for some reason. – Ben Jul 3 '15 at 6:39
4

This is the expected behavior. See this answer for the details; "@Ben" will only match a user called "Benjamin" if there is no other user who is more likely to be addressed as "@Ben", which means either "Ben" or something like "Ben Foo Bar".

You say

it pings the wrong person.

but that's not really true – if "@Ben" pings a user called "Ben", that is hardly unexpected.

You could argue that it should ping both Ben and Benjamin, but not doing that was the compromise to fix over-pinging.

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .