fn server_log_file_name( session: &SessionName, timestamp: &ServerLogTimestamp, pid: u32, ) -> String