Merge pull request #167 from Cooldude2606/feature/external

Added external server list
This commit is contained in:
Cooldude2606
2020-08-14 00:29:29 +01:00
committed by GitHub
12 changed files with 359 additions and 41 deletions

View File

@@ -29,7 +29,7 @@ Event.add(defines.events.on_console_chat, function(event)
-- Loops over online players to see if they name is included
for _, mentioned_player in pairs(game.connected_players) do
if mentioned_player.index ~= player.index then
if search_string:match(mentioned_player.name:lower(), 1, true) then
if search_string:find(mentioned_player.name:lower(), 1, true) then
send_text(mentioned_player.index, {'chat-popup.ping', player.name}, player.chat_color)
end
end