chiark / gitweb /
random-seed: avoid errors when we cannot write random-seed file