Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
|
@@ -443,7 +443,7 @@ def get_random_metric():
|
|
| 443 |
|
| 444 |
|
| 445 |
with gr.Blocks(theme="default", css=CSS_STYLES) as demo:
|
| 446 |
-
judge_id = gr.State(lambda: get_new_session_id(gr.Request()))
|
| 447 |
gr.Markdown(MAIN_TITLE)
|
| 448 |
gr.Markdown(HOW_IT_WORKS)
|
| 449 |
|
|
|
|
| 443 |
|
| 444 |
|
| 445 |
with gr.Blocks(theme="default", css=CSS_STYLES) as demo:
|
| 446 |
+
judge_id = gr.State(value=lambda: get_new_session_id(gr.Request.current()))
|
| 447 |
gr.Markdown(MAIN_TITLE)
|
| 448 |
gr.Markdown(HOW_IT_WORKS)
|
| 449 |
|