From bd9f5408cfe588dd68b8d7b011ef4f796477bca5 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Fri, 13 Mar 2015 00:34:53 +0100 Subject: [PATCH] Properly name an uncompressed sgvz file. Some tools may rely on the extension and do not actually check whether a svg file is compressed or not. --- src/support/filetools.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/support/filetools.cpp b/src/support/filetools.cpp index 20088386f9..134dc17561 100644 --- a/src/support/filetools.cpp +++ b/src/support/filetools.cpp @@ -872,6 +872,8 @@ string const unzippedFileName(string const & zipped_file) string const ext = getExtension(zipped_file); if (ext == "gz" || ext == "z" || ext == "Z") return changeExtension(zipped_file, string()); + else if (ext == "svgz") + return changeExtension(zipped_file, "svg"); return onlyPath(zipped_file) + "unzipped_" + onlyFileName(zipped_file); }