chiark / gitweb /
execute: automatically record start/exit timestamps for forked processes