FilterGZip.setFilename

void setFilename(string filename)

Sets the filename that should be used when generating the gzip header.

Parameters

filenameThe name of the file