chiark / gitweb /
Allow NULL session parameter for manager_get_session_by_pid()