chiark / gitweb /
user-sessions: add minimal utility to kill user sessions that shall be called before...