Ruderverein-Donau-Linz/rowt
1
1
Fork 1
Code Issues 54 Pull Requests Actions Packages Projects Wiki Activity

allow for smaller m #800

Merged
philipp merged 1 commits from trim-ergo into main 2024-11-11 23:12:41 +01:00
Conversation 0 Commits 1 Files Changed 1 +4 -5
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 656c0b99ea - Show all commits

9
src/tera/ergo.rs
View File

@@ -281,12 +281,11 @@ async fn new_dozen(
if let Err(e) = data.proof.move_copy_to(file_path).await { if let Err(e) = data.proof.move_copy_to(file_path).await {
eprintln!("Failed to persist file: {:?}", e); eprintln!("Failed to persist file: {:?}", e);
} }
let result = data.result.trim(); let result = data.result.trim_start_matches(|c| c == '0' || c == ' ');
let result = if result.len() == 4 { let result = if result.contains(":") || result.contains(".") {
result.to_string()
}else{
let result = result.trim_start_matches(|c| c == '0' || c == ' ');
format_time(result) format_time(result)
}else{
result.to_string()
}; };
sqlx::query!( sqlx::query!(