From bdcf83d1c293e450aa9b143d05f5d820b8fe3db4 Mon Sep 17 00:00:00 2001 From: Kenny Levinsen Date: Fri, 2 Aug 2019 11:19:09 +0200 Subject: [PATCH] Fix empty damage handling --- src/main.rs | 5 +++++ 1 file changed, 5 insertions(+) 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,