diff options
author | diSabler <dissy@ya.ru> | 2014-01-02 12:42:35 +0400 |
---|---|---|
committer | diSabler <dissy@ya.ru> | 2014-01-02 12:42:35 +0400 |
commit | 0f493088560be8b3120b2327851c865eb03847d0 (patch) | |
tree | 9a387c81f62a3d23139b97024be76e8d73126f9d | |
parent | a8eac9d2b7136ae5475285134dbd0890d734c23c (diff) |
chg: timer type
-rw-r--r-- | kernel.py | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -1450,10 +1450,12 @@ def getRoom(jid): def now_schedule(): while not game_over: to = GT('schedule_time') - while int(time.time()) % to and not game_over: time.sleep(0.5) - for tmp in gtimer: - if not game_over: thr(tmp,(),('time_thread_%s' % tmp).split(' ',2)[1]) - else: break + while to > 0 and not game_over: + time.sleep(2) + to -= 2 + if not game_over: + for tmp in gtimer: + if not game_over: thr(tmp,(),('time_thread_%s' % tmp).split(' ',2)[1]) def check_rss(): global rss_processed |