set_filename

Description:

[ Version ( since = "3.2" ) ]
public void set_filename (string filename)

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

this	A FilterGZip filter
filename	The name of the file