(workspace: &Workspace)
| 595 | } |
| 596 | |
| 597 | async fn remove_firedbg_dir(workspace: &Workspace) -> Result<()> { |
| 598 | let firedbg_directory = &workspace.get_firedbg_dir(); |
| 599 | let firedbg_dir = Path::new(firedbg_directory); |
| 600 | if firedbg_dir.exists() { |
| 601 | remove_dir_all(firedbg_dir) |
| 602 | .await |
| 603 | .with_context(|| format!("Fail to delete directory: `{firedbg_directory}`"))?; |
| 604 | console::status("Cleaning", "FireDBG resources"); |
| 605 | } |
| 606 | Ok(()) |
| 607 | } |
| 608 | |
| 609 | async fn re_create_firedbg_folder(workspace: &Workspace) -> Result<()> { |
| 610 | let firedbg_directory = &workspace.get_firedbg_dir(); |
no test coverage detected