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.

Parameters:

this

A FilterGZip filter
filename

The name of the file