Fix GUI to handle new interface

viperproject · Jan 15, 2024 · d7e9b36 · d7e9b36
1 parent da9ad45
commit d7e9b36
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/axiom-profiler-GUI/src/lib.rs b/axiom-profiler-GUI/src/lib.rs
@@ -64,8 +64,7 @@ impl Component for FileDataComponent {
                             wasm_bindgen_futures::spawn_local(async move {
                                 log::info!("Parsing: {file_name}");
                                 let finished = parser.process_until(|_, state| state.bytes_read <= 1024 * 1024 * 1024).await;
-                                let finished = finished.is_none();
-                                if !finished {
+                                if finished.is_timeout() {
                                     // TODO: make this clear in the UI
                                     log::info!("Stopped parsing at 1GB");
                                 }
@@ -81,8 +80,7 @@ impl Component for FileDataComponent {
                                 log::info!("Parsing: {file_name}");
                                 let mut parser = Z3Parser::from_str(&text_data);
                                 let finished = parser.process_until(|_, state| state.bytes_read <= 512 * 1024 * 1024);
-                                let finished = finished.is_none();
-                                if !finished {
+                                if finished.is_timeout() {
                                     // TODO: make this clear in the UI
                                     log::info!("Stopped parsing at 0.5GB (use Chrome or Firefox to increase this limit to 1GB)");
                                 }