From c52637343c810cd9c75d7ccae3489194a6162978 Mon Sep 17 00:00:00 2001
From: Quercitron <oldquercitron@gmail.com>
Date: Fri, 20 Jan 2017 04:18:44 +0300
Subject: [PATCH] Fix build.

---
 Mage.Server/src/main/java/mage/server/game/GameController.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Mage.Server/src/main/java/mage/server/game/GameController.java b/Mage.Server/src/main/java/mage/server/game/GameController.java
index 0417687ab7..854f40680e 100644
--- a/Mage.Server/src/main/java/mage/server/game/GameController.java
+++ b/Mage.Server/src/main/java/mage/server/game/GameController.java
@@ -313,7 +313,7 @@ public class GameController implements GameCallback {
             logger.fatal("- userId: " + userId);
             return;
         }
-		if(!user.isPresent(){
+		if (!user.isPresent()) {
 			logger.fatal("User not found : "+userId);
 			return;
 		}