chiark / gitweb /
user-sessions: rely on PID 1 to kill sessions