Thibault Hervier commited on
Commit
047f3bd
·
1 Parent(s): cdcf038

Small fixes for UX

Browse files
Files changed (2) hide show
  1. app.py +1 -1
  2. pictionagent.py +1 -1
app.py CHANGED
@@ -163,7 +163,7 @@ with gr.Blocks() as demo:
163
  topic_dropdown = gr.Dropdown(choices=[e.value for e in ItemTopic],
164
  label="Pick a topic")
165
  with gr.Column(scale=1):
166
- start_btn = gr.Button("Play")
167
  clear_btn = gr.Button("Reset")
168
  with gr.Row():
169
  with gr.Column(scale=2 if WITH_REACHY else 1):
 
163
  topic_dropdown = gr.Dropdown(choices=[e.value for e in ItemTopic],
164
  label="Pick a topic")
165
  with gr.Column(scale=1):
166
+ start_btn = gr.Button("Start round")
167
  clear_btn = gr.Button("Reset")
168
  with gr.Row():
169
  with gr.Column(scale=2 if WITH_REACHY else 1):
pictionagent.py CHANGED
@@ -372,7 +372,7 @@ class PictionagentManager:
372
  while True:
373
  users_to_remove = []
374
  for user in self.connected_users.values():
375
- if user.last_ping < datetime.datetime.now() - datetime.timedelta(seconds=2):
376
  users_to_remove.append(user.id)
377
  logging.info(f"User {user.id} disconnected")
378
  for user_id in users_to_remove:
 
372
  while True:
373
  users_to_remove = []
374
  for user in self.connected_users.values():
375
+ if user.last_ping < datetime.datetime.now() - datetime.timedelta(seconds=5):
376
  users_to_remove.append(user.id)
377
  logging.info(f"User {user.id} disconnected")
378
  for user_id in users_to_remove: