FilterGZip.getFilename

string getFilename()

Gets the filename that was either previously set or retrieved when decoding a gzip stream.

Returns

a string containing th ename of the file.