add a new function ServerPlayer::slashSettlementFinished