圧縮ファイルの作成

[umemura]

圧縮API を教えていただき、ありがとうございます。
ただ、私が現在使っている解凍ソフト「+Lacha」では、解凍されませんでした

てっきりZIP形式=gzip と思っていたのですが、実際には異なり、
「+Lhaca」では、gzip、zlib の形式に対応していない、という認識です。

サーバとファイルをやり取りしたりする際に、サイズを小さくするためには有益ですね。

Code:

{import * from CURL.IO.ZSTREAM}
{def cmp-dl =
    {DropdownList
        CompressionFormat.gzip,
        CompressionFormat.zlib
    }
}
{value cmp-dl}
{CommandButton
    label = "圧縮",
    {on Action do
        {if-non-null u = {choose-file} then
            def out = {url u.full-filename & ".zip"}
            def dbos =
                {DeflateByteOutputStream
                    {write-open-byte out},
                    compression-format = cmp-dl.value asa CompressionFormat
                }
            def (bytes:{Array-of byte}, n:int) = {read-bytes-from u}
            {dbos.write bytes}
            {dbos.close}
        }
    }
}