chiark / gitweb /
prefork-interp: Rename read_greeting (from protocol_greeting)