Make sending PING from the server work a little more neatly

More precisely, exactly what it says on the commit message.