mirror of
https://github.com/Sanae6/SmoOnlineServer.git
synced 2024-11-10 13:45:06 +00:00
lgtm?
This commit is contained in:
parent
3b935d1f5b
commit
f15ded0981
1 changed files with 5 additions and 2 deletions
|
@ -136,7 +136,10 @@ public class DiscordBot
|
||||||
try
|
try
|
||||||
{
|
{
|
||||||
if (client != null)
|
if (client != null)
|
||||||
client.StopAsync().Wait();
|
{
|
||||||
|
if (!client.StopAsync().Wait(60000))
|
||||||
|
logger.Warn("Tried to stop the discord bot, but attempt took >60 seconds, so it failed!");
|
||||||
|
}
|
||||||
client?.Dispose();
|
client?.Dispose();
|
||||||
}
|
}
|
||||||
catch { /*lol (lmao)*/ }
|
catch { /*lol (lmao)*/ }
|
||||||
|
@ -237,7 +240,7 @@ public class DiscordBot
|
||||||
if (localSettings.CommandChannel == null)
|
if (localSettings.CommandChannel == null)
|
||||||
logger.Warn("You probably should set your CommandChannel in settings.json");
|
logger.Warn("You probably should set your CommandChannel in settings.json");
|
||||||
if (localSettings.AdminChannel == null)
|
if (localSettings.AdminChannel == null)
|
||||||
logger.Warn("You probably should set your LogChannel in settings.json");
|
logger.Warn("You probably should set your AdminChannel in settings.json");
|
||||||
|
|
||||||
if (oldSettings.Token != localSettings.Token || oldSettings.AdminChannel != localSettings.AdminChannel || oldSettings.CommandChannel != localSettings.CommandChannel)
|
if (oldSettings.Token != localSettings.Token || oldSettings.AdminChannel != localSettings.AdminChannel || oldSettings.CommandChannel != localSettings.CommandChannel)
|
||||||
{
|
{
|
||||||
|
|
Loading…
Reference in a new issue