chiark / gitweb /
util: modernize get_parent_of_pid() a bit