From 4823f265eb2ce6a0715b2eae0f8a3457db8f8d95 Mon Sep 17 00:00:00 2001
From: Maxmtg <maxmtg@cardforge.org>
Date: Wed, 24 Oct 2012 18:32:36 +0000
Subject: [PATCH] AI won't have any more fun when the game is over.

---
 src/main/java/forge/game/phase/PhaseHandler.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/main/java/forge/game/phase/PhaseHandler.java b/src/main/java/forge/game/phase/PhaseHandler.java
index 728bab7a2ba..20c37912c1d 100644
--- a/src/main/java/forge/game/phase/PhaseHandler.java
+++ b/src/main/java/forge/game/phase/PhaseHandler.java
@@ -695,9 +695,12 @@ public class PhaseHandler extends MyObservable implements java.io.Serializable {
      * </p>
      */
     public final void passPriority() {
+        // stop game if it's outcome is clear
+        if ( game.isGameOver() ) return;
+        
         final Player actingPlayer = this.getPriorityPlayer();
         final Player firstAction = this.getFirstPriority();
-
+        
         // actingPlayer is the player who may act
         // the firstAction is the player who gained Priority First in this segment
         // of Priority