Game server: fixed a bug that caused the rivalry to reset when the *rival player* died. Resolves #310.