From 14bcd6e4b42dbb49bb394f519687880800f4d286 Mon Sep 17 00:00:00 2001
From: vcoppe <vianney.coppe@gmail.com>
Date: Sat, 17 Sep 2022 11:24:39 +0200
Subject: [PATCH] remove empty diff files

---
 misc/scripts/download_segments_diff.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/misc/scripts/download_segments_diff.sh b/misc/scripts/download_segments_diff.sh
index 465c665..6c0cc07 100755
--- a/misc/scripts/download_segments_diff.sh
+++ b/misc/scripts/download_segments_diff.sh
@@ -25,6 +25,8 @@ done
 
 <diffs xargs -I{} -P8 curl "http://brouter.de/brouter/segments4/diff/{}" --remote-time --output "$out_dir/{}" --silent
 
+find $out_dir -type f -size 0 -delete
+
 rm diffs
 
 echo "All segments diff downloaded in ${SECONDS}s"