chiark / gitweb /
logind: if we have to stop a session, kill at least its leader