Fix auto-disconnect when last user leaves.

This commit is contained in:
Nekojimi 2023-11-07 00:35:05 +00:00
parent 2a25e1368d
commit 16c2c61e76
1 changed files with 11 additions and 1 deletions

View File

@ -188,7 +188,7 @@ public final class Chords extends ListenerAdapter
final AudioChannel channelLeft = event.getChannelLeft();
if (channelLeft != null && channelLeft == currentVoiceChannel)
{
if (channelLeft.getMembers().isEmpty())
if (channelLeft.getMembers().size() <= 1) // just us now
disconnect();
}
}
@ -400,6 +400,16 @@ public final class Chords extends ListenerAdapter
{
private static final String PROGRESS_SYMBOLS = " ▏▎▍▌▋▊▉█";
/*
🌑🌘🌗🌖🌕
🌩🌨🌧🌦🌥🌤🌞
🞎🞏🞐🞑🞒🞓
*/
// private static final String PROGRESS_SYMBOLS = " ⠀⡀⣀⣠⣤⣦⣶⣾⣿";
public DownloaderMessageHandler()