chiark / gitweb /
process-util: mention that wait_for_terminate_with_timeout() should be called with...