PHPを使用してダウンロードするgzip圧縮されたxmlファイルを提供するにはどうすればよいですか

Question

dbからxmlファイルを作成するPHPスクリプトがあります。スクリプトでxmlデータを作成し、すぐに.gzipファイルをダウンロードできるようにします。アイデアを教えてください。

ありがとう！

Answer 1

gzencode 関数を使用すると、gzip圧縮を簡単に適用できます。

<?
header("Content-Disposition: attachment; filename=yourFile.xml.gz");
header("Content-type: application/x-gzip");

echo gzencode($xmlToCompress);

Answer 2

このようなものですか？

<?php
 header('Content-type: application/x-gzip');
 header('Content-Disposition: attachment; filename="downloaded.gz"');
 $data = implode("", file('somefile.xml'));
 print( gzencode($data, 9) ); //9 is the level of compression
?>

Answer 3

gzipモジュールが利用できない場合、

<?php

  system('gzip filename.xml');

?>