chiark / gitweb /
coredump: never write more than the configured processing size limit to disk