FilterGZip.setFilename

void setFilename(string filename) nothrow

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

Parameters

filenameThe name of the file