From 708aa66a04a4edfb780d1790dbe5c1e26fcebc83 Mon Sep 17 00:00:00 2001 From: Ari Mudev Date: Wed, 10 Nov 2010 23:03:38 +0000 Subject: [PATCH] Work around Issue 117. This is PROBABLY the right fix. --- src/objects/manager.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/objects/manager.py b/src/objects/manager.py index 1e93553c93..6d22265a46 100644 --- a/src/objects/manager.py +++ b/src/objects/manager.py @@ -42,7 +42,10 @@ class ObjectManager(TypedObjectManager): try: uid = int(user) except TypeError: - uid = user.id + try: + uid = user.id + except: + return None try: return self.get(db_player__user__id=uid) except Exception: