From 33a37ffa25f5ec9c820f9e8ba8996e2f754e8738 Mon Sep 17 00:00:00 2001
From: Min RK <benjaminrk@gmail.com>
Date: Mon, 8 May 2017 11:07:35 +0200
Subject: [PATCH] User has no single .server anymore

---
 jupyterhub/orm.py | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/jupyterhub/orm.py b/jupyterhub/orm.py
index ee626f12..7ddc4f91 100644
--- a/jupyterhub/orm.py
+++ b/jupyterhub/orm.py
@@ -149,12 +149,13 @@ class User(Base):
     groups = relationship('Group', secondary='user_group_map', back_populates='users')
 
     def __repr__(self):
-        if self.server:
+        if self.servers:
+            server = self.servers[0]
             return "<{cls}({name}@{ip}:{port})>".format(
                 cls=self.__class__.__name__,
                 name=self.name,
-                ip=self.server.ip,
-                port=self.server.port,
+                ip=server.ip,
+                port=server.port,
             )
         else:
             return "<{cls}({name} [unconfigured])>".format(