diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/warp/src/processor.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/warp/src/processor.rs b/plugins/warp/src/processor.rs index 4f0372e6..2319c5fc 100644 --- a/plugins/warp/src/processor.rs +++ b/plugins/warp/src/processor.rs @@ -664,6 +664,8 @@ impl WarpFileProcessor { if view.functions().is_empty() { self.state .set_file_state(path.clone(), ProcessingFileState::Processed); + // Close the view manually, see comment in [`BinaryView`]. + view.file().close(); return Err(ProcessingError::SkippedFile(path)); } |