e6e335b5dc
Implement new suggestions from framework upgrade
2024-04-28 18:15:12 -07:00
2977ae61f1
Whitespace and style fixes
2024-04-28 01:51:58 -07:00
b9b057e1f1
Remove extraneous log messages
...
In particular, these changes filter out the reporting of any errors
occurring during the bot shutdown process.
2023-09-04 17:41:10 -07:00
21cbadb355
Retry skipped guilds after reconnection
2023-09-04 17:40:48 -07:00
cee7bb4835
Manually call GC on occasion (experimental)
2023-09-04 17:40:35 -07:00
b0b39bbd0b
Allow configuration of certain time-based values
2023-05-27 18:07:45 -07:00
c893b317f0
Fix logged message's grammar; bump version
2023-03-05 23:05:37 -08:00
29f2eeb31e
Skip user download in guilds where the method hangs
...
A workaround for an apparent bug in Discord.Net's
`SocketGuild.DownloadUsersAsync()` method.
Conclusions made while writing and testing this workaround:
* The guilds it hangs on are seemingly random.
* Guild size does not matter.
* If a download hangs, it never recovers within 2 hours, probably more.
* Trying a guild again never works. It just hangs again.
2023-03-05 22:57:09 -08:00
1fba7ff708
stopgap fixes
2023-03-04 11:27:31 -08:00
104d99856b
Prevent unnecessary disconnection when user list fetch takes too long
2023-03-02 09:58:15 -08:00
a3ac5d6ede
Change data types from long to ulong
2022-11-22 23:19:37 -08:00
e62a89d0a0
Use background service semaphore
...
Must have missed it the first time...
2022-11-21 19:17:07 -08:00
014b5a601d
Increase log threshold for AutoUserDownload
2022-03-22 12:32:42 -07:00
2a1478fb0b
Add log message
2022-03-21 23:33:24 -07:00
c280904cb8
Update services to use EF queries
2022-03-21 12:12:18 -07:00
51e241aca8
Restore "most users downloaded" checks
...
Workaround to deal with continued instances of inconsistent Discord.Net user downloading behavior
2021-12-05 18:25:02 -08:00
