It's hard to track..

huggingface · Jan 7, 2025 · 5cd51ce · 5cd51ce
1 parent be46fb3
commit 5cd51ce
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/api/tokio.rs b/src/api/tokio.rs
@@ -674,14 +674,20 @@ impl ApiRepo {
             }
         }
         println!("Truncating file {filename:?} to {length}");
-        let mut f = tokio::fs::OpenOptions::new()
+        let f = tokio::fs::OpenOptions::new()
             .write(true)
             .open(&filename)
             .await?;
         f
             .set_len(length as u64)
             .await?;
         f.sync_all().await?;
+        let metadata = tokio::fs::OpenOptions::new()
+            .write(true)
+            .open(&filename)
+            .await?.metadata().await?;
+        assert_eq!(metadata.len(), length as u64);
+
         println!("Truncated file {filename:?} to {length}");
         progressbar.finish().await;
         Ok(filename)