ErrorNoInternet/ErrorNoWatcher
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix pagers

Browse Source
This commit is contained in:
ErrorNoInternet 2023-01-17 18:38:22 +08:00
parent 60674d7127
commit a8dac56b6a
Signed by untrusted user who does not match committer: ErrorNoInternet
GPG Key ID: 2486BFB7B1E6A4A3
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/bot.rs
View File

@ -117,10 +117,10 @@ pub async fn process_command(
let mut start_index = (page - 1) * 10; let mut start_index = (page - 1) * 10;
let mut end_index = page * 10; let mut end_index = page * 10;
while start_index >= commands.len() { while start_index > commands.len() {
start_index -= 1 start_index -= 1
} }
while end_index >= commands.len() { while end_index > commands.len() {
end_index -= 1 end_index -= 1
} }
let paged_commands = &commands[start_index..end_index]; let paged_commands = &commands[start_index..end_index];
@ -162,11 +162,11 @@ pub async fn process_command(
let whitelist = state.whitelist.lock().unwrap(); let whitelist = state.whitelist.lock().unwrap();
let mut start_index = (page - 1) * 10; let mut start_index = (page - 1) * 10;
while start_index >= whitelist.len() { let mut end_index = page * 10;
while start_index > whitelist.len() {
start_index -= 1 start_index -= 1
} }
let mut end_index = page * 10; while end_index > whitelist.len() {
while end_index >= whitelist.len() {
end_index -= 1 end_index -= 1
} }
let paged_whitelist = &whitelist[start_index..end_index]; let paged_whitelist = &whitelist[start_index..end_index];
@ -269,10 +269,10 @@ pub async fn process_command(
let mut start_index = (page - 1) * 10; let mut start_index = (page - 1) * 10;
let mut end_index = page * 10; let mut end_index = page * 10;
while start_index >= players.len() { while start_index > players.len() {
start_index -= 1 start_index -= 1
} }
while end_index >= players.len() { while end_index > players.len() {
end_index -= 1 end_index -= 1
} }
let paged_players = &players[start_index..end_index]; let paged_players = &players[start_index..end_index];