chiark / gitweb /
util: implement parse_pid() function