diff options
| author | Teddy <[email protected]> | 2013-09-02 16:06:54 +0800 |
|---|---|---|
| committer | Teddy <[email protected]> | 2013-09-02 16:06:54 +0800 |
| commit | e52889f656592cd5afb09439c112f5ad44a110dc (patch) | |
| tree | fc8cb2113b8f6ffb664998d83a88c92e9fc8a126 | |
| parent | 7e474fb8d9b5006043d62692d828da9510eadd6c (diff) | |
...
| -rw-r--r-- | server/piztor/game_server.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/piztor/game_server.py b/server/piztor/game_server.py index f1003e0..8c22619 100644 --- a/server/piztor/game_server.py +++ b/server/piztor/game_server.py @@ -889,7 +889,7 @@ class GameStartHandler(RequestHandler): for user in self.session.query(UserModel) \ .filter(UserModel.comp_id == u.comp_id): - user.regen_token() + user.auth.regen_token() logger.info("GAME START!") self.session.commit() |