mirror of
https://github.com/zulip/zulip.git
synced 2026-07-18 21:04:19 +08:00
This is defensive code for the scenario that we have a user_id in presence but not people. This is unlikely to occur by the time that we actually render the buddy list, which is the context for this code. We have previously been reporting an error here via the people code, but we add an additional warning. Also, we filter the user_id from the result. |
||
|---|---|---|
| .. | ||
| assets | ||
| audio | ||
| generated | ||
| html | ||
| images | ||
| js | ||
| shared | ||
| styles | ||
| templates | ||
| third | ||
| .gitignore | ||
| favicon.ico | ||