chiark / gitweb /
main: set PR_SET_CHILD_REAPER for MANAGER_USER