Robin C. Ladiges bf0bfae10b add commands: `ban stage <stage-name>` and `unban stage <stage-name>` ... To kick players from the server when they enter a banned stage. <stage-name> can also be a kingdom alias, which bans/unbans all stages in that kingdom. Because we aren't banning the player, d/c them would be no good, because of the client auto reconnect. Instead send them the crash and ignore all packets by them until they d/c on their own. This is an alternative solution for issue #43.		2023-03-24 01:02:41 +01:00
..
BanLists.cs	add commands: `ban stage <stage-name>` and `unban stage <stage-name>`	2023-03-24 01:02:41 +01:00
Client.cs	fix: actually working ban functionality	2023-03-24 01:02:26 +01:00
CommandHandler.cs	Added quotable arguments, potential fix for ban * not banning anyone.	2022-07-27 12:14:56 -06:00
DiscordBot.cs	only warn about the Discord channel settings when a Token is set	2022-10-10 19:37:37 -06:00
FlipOptions.cs	Add scenario merging and run reformatting on solution	2022-03-01 15:08:53 -06:00
Program.cs	add commands: `ban stage <stage-name>` and `unban stage <stage-name>`	2023-03-24 01:02:41 +01:00
Server.cs	fix: actually working ban functionality	2023-03-24 01:02:26 +01:00
Server.csproj	Add a simple discord bot to manage the server	2022-06-12 18:48:24 -06:00
Settings.cs	add commands: `ban stage <stage-name>` and `unban stage <stage-name>`	2023-03-24 01:02:41 +01:00
Time.cs	Add tag commands and improve command handling	2022-03-14 23:59:23 -06:00