fixed occasional omission of .zip from name if the directory name had dots in it...

diff --git a/scripts/files/zip_directories.sh b/scripts/files/zip_directories.sh
index 4272642437fff7684476f84295b34ef28ac9c02d..5a603b4dd6dcdc147975e2e518f3df3e93c7e037 100644 (file)
--- a/scripts/files/zip_directories.sh
+++ b/scripts/files/zip_directories.sh
@@ -31,7 +31,7 @@ function flattenizer()
     done
     if [ ! -z "$dirname" -a -d "$dirname" ]; then
       echo "flattening '$dirname'..."
-      zip -rm "${dirname}_$(date_stringer)" "$dirname" &>/dev/null
+      zip -rm "${dirname}_$(date_stringer).zip" "$dirname" &>/dev/null
     fi
   done
 }