Added player announcements to Raiding Party

This commit is contained in:
Zzooouhh 2018-01-01 19:44:02 +01:00 committed by GitHub
parent 4289ad67d0
commit 3cd7ea7752
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -143,6 +143,10 @@ class RaidingPartyEffect extends OneShotEffect {
if (player.choose(Outcome.Benefit, plainsToSaveTarget, source.getSourceId(), game)) {
for (UUID plainsId : plainsToSaveTarget.getTargets()) {
plainsToSave.add(plainsId);
Permanent plains = game.getPermanent(plainsId);
if (plains != null) {
game.informPlayers(player.getLogName() + " chose " + plains.getLogName() + " to not be destroyed by " + sourcePermanent.getLogName());
}
}
}
}