What should I do if someone else quits?

When a person abandons a ranking game, the game is not lost for ranking. The replacing bot will finish the game for the abandoning player and the end score of the bot will count as final score for the abandoning player.