chiark / gitweb /
service: serialize exec status