RPCS3/discord-bot
1
0
Fork 0
mirror of https://github.com/RPCS3/discord-bot.git synced 2025-03-03 15:29:22 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

this should actually work for everyone, if you're lucky

Browse Source
This commit is contained in:
13xforever 2020-04-03 21:57:17 +05:00
parent d3036028a2
commit 2f9047a4a5
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
CompatBot/Program.cs
View File

@ -276,9 +276,8 @@ namespace CompatBot
Config.Log.Warn("Detected the new discord gateway opcode, restarting...");
var restartThread = new Thread(() => Sudo.Bot.Restart(InvalidChannelId, "Restarted due to issues with the new Discord gateway opcode issues"));
restartThread.Start();
restartThread.Join(100);
if (SandboxDetector.Detect() == SandboxType.Docker)
Environment.Exit(-1);
restartThread.Join(1000);
Environment.Exit(-1);
}
}
else if (eventArgs.Level == LogLevel.Warning)