RFR: 8256450: Add gz option to jmap to write a gzipped heap dump [v5]

Fri Nov 20 03:01:05 UTC 2020

On Fri, 20 Nov 2020 01:17:18 GMT, Lin Zang <lzang at openjdk.org> wrote:

>> This PR add "gz" option to jmap -dump command to support generate gzipped heap dump.
>> 
>> example:
>>       jmap -dump:live,gz=1,file=dump.gz <pid>
>
> Lin Zang has updated the pull request incrementally with one additional commit since the last revision:
> 
>   remove unnecessory arguments in verifyDump()

Marked as reviewed by cjplummer (Reviewer).

-------------

PR: https://git.openjdk.java.net/jdk/pull/1251