From 53a4caf9be5fdf7da7e1f0596853a2e425ebf459 Mon Sep 17 00:00:00 2001
From: LevelX2 <ludwig.hirth@online.de>
Date: Tue, 26 Mar 2013 15:36:21 +0100
Subject: [PATCH] Added a " (discon.)"  suffix to player names in the list of
 players if they are disconnected.

---
 .../main/java/mage/server/game/GamesRoomImpl.java   | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/Mage.Server/src/main/java/mage/server/game/GamesRoomImpl.java b/Mage.Server/src/main/java/mage/server/game/GamesRoomImpl.java
index c86d1c79a2e..e90ccb7beaa 100644
--- a/Mage.Server/src/main/java/mage/server/game/GamesRoomImpl.java
+++ b/Mage.Server/src/main/java/mage/server/game/GamesRoomImpl.java
@@ -100,7 +100,12 @@ public class GamesRoomImpl extends RoomImpl implements GamesRoom, Serializable {
         matchView = matchList;
         List<String> players = new ArrayList<String>();
         for (User user : UserManager.getInstance().getUsers()) {
-            players.add(user.getName());
+            if (user.isConnected()) {
+                players.add(user.getName());
+            } else {
+                players.add(new StringBuilder(user.getName()).append(" (discon.)").toString());
+            }
+            
         }
         playersView = players;
     }
@@ -144,8 +149,9 @@ public class GamesRoomImpl extends RoomImpl implements GamesRoom, Serializable {
 
     @Override
     public TableView getTable(UUID tableId) {
-        if (tables.containsKey(tableId))
+        if (tables.containsKey(tableId)) {
             return new TableView(tables.get(tableId));
+        }
         return null;
     }
 
@@ -157,8 +163,9 @@ public class GamesRoomImpl extends RoomImpl implements GamesRoom, Serializable {
     @Override
     public void removeTable(UUID tableId) {
         tables.remove(tableId);
-        if (logger.isDebugEnabled())
+        if (logger.isDebugEnabled()) {
             logger.debug("Table removed: " + tableId);
+        }
     }
 
     @Override