お客さんに、サーバの不調時にフルのメモリダンプを取って欲しいという話をしていたんだが、なんと今回の不調時に取ってくれたらしい。漸くだが。それで DVD-R に焼くんだが、まずは焼けるサイズに分割することに。その時に、zipで圧縮したらとお客さんに言…