diff --git a/src/main.rs b/src/main.rs index 896d875..0521aeb 100644 --- a/src/main.rs +++ b/src/main.rs @@ -90,6 +90,11 @@ impl App { mmap.flush().unwrap(); + if damage.len() == 0 { + // Nothing to do + return Ok(()); + } + // get a buffer and attach it let new_buffer = pool.buffer( 0,