chiark / gitweb /
prefork-interp: properly handle EINTR in monitor