diff frontends/src/primitivus/profile_manager.py @ 825:e3f4d80f987d

plugins room_games, radiocol: better synchronization after a user joins a running game
author souliane <souliane@mailoo.org>
date Wed, 15 Jan 2014 23:01:23 +0100
parents 1fe00f0c9a91
children 308a96bc7c1b
line wrap: on
line diff