chiark / gitweb /
service: use the right timeout for stop processes we fork