Spaces:
Runtime error
Runtime error
Update web.py
Browse files
web.py
CHANGED
@@ -1,13 +1,6 @@
|
|
1 |
import gradio as gr
|
2 |
import datetime
|
3 |
-
import
|
4 |
-
import ssl
|
5 |
-
import requests
|
6 |
-
from urllib3.exceptions import InsecureRequestWarning
|
7 |
-
|
8 |
-
# SSL ์ธ์ฆ์ ๊ฒ์ฆ ์ค๋ฅ ๋ฐฉ์ง
|
9 |
-
ssl._create_default_https_context = ssl._create_unverified_context
|
10 |
-
requests.packages.urllib3.disable_warnings(InsecureRequestWarning)
|
11 |
|
12 |
def update_live_message():
|
13 |
"""
|
@@ -20,28 +13,40 @@ def run_gradio():
|
|
20 |
"""
|
21 |
Gradio ์น ์ธํฐํ์ด์ค๋ฅผ ์ค์ ํ๊ณ ์คํํฉ๋๋ค.
|
22 |
"""
|
23 |
-
|
24 |
-
|
25 |
-
# ์๋ ์
๋ฐ์ดํธ ์ธํฐ๋ฒ ์ค์ (์ด ๋จ์)
|
26 |
-
update_interval = 60
|
27 |
-
|
28 |
-
demo = gr.Blocks()
|
29 |
-
with demo:
|
30 |
gr.Markdown("## Live Server Output")
|
31 |
-
live_block
|
32 |
|
33 |
-
#
|
34 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
35 |
fn=update_live_message,
|
36 |
-
|
37 |
-
|
38 |
)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
39 |
|
40 |
-
#
|
41 |
demo.launch(
|
42 |
server_name="0.0.0.0",
|
43 |
-
server_port=7860,
|
44 |
-
|
|
|
45 |
)
|
46 |
|
47 |
if __name__ == "__main__":
|
|
|
1 |
import gradio as gr
|
2 |
import datetime
|
3 |
+
import os
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
|
5 |
def update_live_message():
|
6 |
"""
|
|
|
13 |
"""
|
14 |
Gradio ์น ์ธํฐํ์ด์ค๋ฅผ ์ค์ ํ๊ณ ์คํํฉ๋๋ค.
|
15 |
"""
|
16 |
+
# ๋ธ๋ก ID๋ฅผ ๋ช
์์ ์ผ๋ก ์ค์
|
17 |
+
with gr.Blocks(analytics_enabled=False) as demo:
|
|
|
|
|
|
|
|
|
|
|
18 |
gr.Markdown("## Live Server Output")
|
|
|
19 |
|
20 |
+
# ๋ช
์์ ID ํ ๋น
|
21 |
+
live_block = gr.Textbox(
|
22 |
+
label="Live Output",
|
23 |
+
value=update_live_message(),
|
24 |
+
elem_id="live_output"
|
25 |
+
)
|
26 |
+
|
27 |
+
# ์ฃผ๊ธฐ์ ์
๋ฐ์ดํธ ๋ฒํผ (์๋ ์
๋ฐ์ดํธ ๋์ )
|
28 |
+
refresh_btn = gr.Button("์๋ก๊ณ ์นจ")
|
29 |
+
refresh_btn.click(
|
30 |
fn=update_live_message,
|
31 |
+
inputs=None,
|
32 |
+
outputs=live_block
|
33 |
)
|
34 |
+
|
35 |
+
# ์๋์ผ๋ก ์ผ์ ๊ฐ๊ฒฉ ์
๋ฐ์ดํธ๋ฅผ ์ํ JavaScript ์ถ๊ฐ
|
36 |
+
gr.HTML("""
|
37 |
+
<script>
|
38 |
+
setInterval(function() {
|
39 |
+
document.querySelector("button").click();
|
40 |
+
}, 60000); // 60์ด๋ง๋ค ์๋ก๊ณ ์นจ
|
41 |
+
</script>
|
42 |
+
""")
|
43 |
|
44 |
+
# Gradio ์๋ฒ ์ค์
|
45 |
demo.launch(
|
46 |
server_name="0.0.0.0",
|
47 |
+
server_port=7860,
|
48 |
+
show_error=True, # ์ค๋ฅ ํ์ ํ์ฑํ
|
49 |
+
quiet=False # ๋ก๊ทธ ํ์ ํ์ฑํ
|
50 |
)
|
51 |
|
52 |
if __name__ == "__main__":
|