v0.9.3c: fixed death by DK spawners not making a record in rankings

This commit is contained in:
Evan Debenham 2021-06-21 20:20:54 -04:00
parent 7dd977e1bc
commit 288fcb0a72

View File

@ -55,6 +55,7 @@ import com.shatteredpixel.shatteredpixeldungeon.sprites.CharSprite;
import com.shatteredpixel.shatteredpixeldungeon.sprites.KingSprite;
import com.shatteredpixel.shatteredpixeldungeon.ui.BossHealthBar;
import com.shatteredpixel.shatteredpixeldungeon.ui.BuffIndicator;
import com.shatteredpixel.shatteredpixeldungeon.utils.GLog;
import com.watabou.noosa.audio.Sample;
import com.watabou.noosa.particles.Emitter;
import com.watabou.utils.Bundle;
@ -627,6 +628,9 @@ public class DwarfKing extends Mob {
target.damage(target.HT/12, new KingDamager());
}
}
if (!ch.isAlive() && ch == Dungeon.hero) {
Dungeon.fail(DwarfKing.class);
}
}
detach();