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.
This commit is contained in:
Enrico Forestieri 2015-03-13 00:34:53 +01:00
parent cbad159ac2
commit bd9f5408cf

View File

@ -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);
}