1lint
commited on
Commit
·
0a63dc9
1
Parent(s):
b35651f
add demo refresh every 10s, thanks freddy
Browse files
README.md
CHANGED
@@ -4,7 +4,7 @@ emoji: 💻
|
|
4 |
colorFrom: indigo
|
5 |
colorTo: green
|
6 |
sdk: gradio
|
7 |
-
sdk_version: 3.
|
8 |
app_file: app.py
|
9 |
pinned: false
|
10 |
---
|
|
|
4 |
colorFrom: indigo
|
5 |
colorTo: green
|
6 |
sdk: gradio
|
7 |
+
sdk_version: 3.30.0
|
8 |
app_file: app.py
|
9 |
pinned: false
|
10 |
---
|
app.py
CHANGED
@@ -56,10 +56,7 @@ with gr.Blocks(analytics_enabled=False) as demo:
|
|
56 |
reset_button = gr.Button(value="Reset Board")
|
57 |
reset_button.click(reset, [], [board, events])
|
58 |
|
59 |
-
demo.load(refresh_display, [], [board, events])
|
60 |
-
|
61 |
-
# this causes gradio frontend to freeze with orange borders on my machine
|
62 |
-
#demo.load(refresh_display, [], [board, events], every=10)
|
63 |
-
|
64 |
demo.queue()
|
65 |
demo.launch()
|
|
|
56 |
reset_button = gr.Button(value="Reset Board")
|
57 |
reset_button.click(reset, [], [board, events])
|
58 |
|
59 |
+
demo.load(refresh_display, [], [board, events], every=10, show_progress=False)
|
60 |
+
|
|
|
|
|
|
|
61 |
demo.queue()
|
62 |
demo.launch()
|