Nickname, not nick

This commit is contained in:
Jeremy Zhang 2018-03-19 19:21:48 +00:00
parent 3d0ad729c1
commit c62a7a3752

View File

@ -1477,7 +1477,7 @@
var usr = all_users[i];
if (usr.username.toLowerCase().indexOf(lastWord.toLowerCase()) > -1 || (usr.nickname && usr.nickname.toLowerCase().indexOf(lastWord.toLowerCase()) > -1)) {
var displayname = usr.username;
if (usr.nick) {
if (usr.nickname) {
displayname = usr.nickname;
}
users.push({