Spaces:
Running
Running
Update app.py
Browse files
app.py
CHANGED
@@ -18,6 +18,15 @@ def start_timer(url, interval):
|
|
18 |
threading.Timer(interval, start_timer, [url, interval]).start()
|
19 |
check_connection(url)
|
20 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
21 |
# Gradio UI ์ปดํฌ๋ํธ๋ฅผ ์ ์ํฉ๋๋ค.
|
22 |
url_input1 = gr.Text(label="URL 1", placeholder="์ ์ํ ์ฒซ ๋ฒ์งธ URL์ ์
๋ ฅํ์ธ์")
|
23 |
url_input2 = gr.Text(label="URL 2", placeholder="์ ์ํ ๋ ๋ฒ์งธ URL์ ์
๋ ฅํ์ธ์")
|
@@ -31,25 +40,10 @@ url_input9 = gr.Text(label="URL 9", placeholder="์ ์ํ ์ํ ๋ฒ์งธ URL์
|
|
31 |
url_input10 = gr.Text(label="URL 10", placeholder="์ ์ํ ์ด ๋ฒ์งธ URL์ ์
๋ ฅํ์ธ์")
|
32 |
interval_input = gr.Slider(minimum=1, maximum=60, step=1, value=5, label="์ ์ ์ฃผ๊ธฐ(๋ถ)")
|
33 |
|
34 |
-
# ํ์ด๋จธ ์์ ํจ์๋ฅผ Gradio์ ์
๋ ฅ๊ณผ ํจ๊ป ์ฐ๊ฒฐํฉ๋๋ค.
|
35 |
-
def setup_timer(url1, url2, url3, url4, url5, url6, interval):
|
36 |
-
interval_seconds = interval * 60 # ๋ถ์ ์ด๋ก ๋ณํ
|
37 |
-
start_timer(url1, interval_seconds)
|
38 |
-
start_timer(url2, interval_seconds)
|
39 |
-
start_timer(url3, interval_seconds)
|
40 |
-
start_timer(url4, interval_seconds)
|
41 |
-
start_timer(url5, interval_seconds)
|
42 |
-
start_timer(url6, interval_seconds)
|
43 |
-
start_timer(url7, interval_seconds)
|
44 |
-
start_timer(url8, interval_seconds)
|
45 |
-
start_timer(url9, interval_seconds)
|
46 |
-
start_timer(url10, interval_seconds)
|
47 |
-
return "ํ์ด๋จธ๊ฐ ์ค์ ๋์์ต๋๋ค."
|
48 |
-
|
49 |
# Gradio ์ฑ ์ค์
|
50 |
app = gr.Interface(
|
51 |
fn=setup_timer,
|
52 |
-
inputs=[url_input1, url_input2, url_input3, url_input4, url_input5, url_input6,url_input7,url_input8,url_input9,url_input10, interval_input],
|
53 |
outputs="text",
|
54 |
title="URL ์ ์ ์ฒด์ปค",
|
55 |
description="์ฌ์ฏ ๊ฐ์ URL๊ณผ ์ ์ ์ฃผ๊ธฐ๋ฅผ ์
๋ ฅํ๊ณ '์์' ๋ฒํผ์ ํด๋ฆญํ์ธ์. ์ง์ ๋ ์ฃผ๊ธฐ๋ก HTTP ์ํ ์ฝ๋ ๋ฐ ์ ์ ์ํ๋ฅผ ํ์ธํฉ๋๋ค.",
|
@@ -58,4 +52,4 @@ app = gr.Interface(
|
|
58 |
],
|
59 |
cache_examples=False # ์บ์ ๋นํ์ฑํ
|
60 |
)
|
61 |
-
app.launch()
|
|
|
18 |
threading.Timer(interval, start_timer, [url, interval]).start()
|
19 |
check_connection(url)
|
20 |
|
21 |
+
# ํ์ด๋จธ ์์ ํจ์๋ฅผ Gradio์ ์
๋ ฅ๊ณผ ํจ๊ป ์ฐ๊ฒฐํฉ๋๋ค.
|
22 |
+
def setup_timer(url1, url2, url3, url4, url5, url6, url7, url8, url9, url10, interval):
|
23 |
+
interval_seconds = interval * 60 # ๋ถ์ ์ด๋ก ๋ณํ
|
24 |
+
urls = [url1, url2, url3, url4, url5, url6, url7, url8, url9, url10]
|
25 |
+
for url in urls:
|
26 |
+
if url: # URL์ด ๋น์ด ์์ง ์์ผ๋ฉด ํ์ด๋จธ ์์
|
27 |
+
start_timer(url, interval_seconds)
|
28 |
+
return "ํ์ด๋จธ๊ฐ ์ค์ ๋์์ต๋๋ค."
|
29 |
+
|
30 |
# Gradio UI ์ปดํฌ๋ํธ๋ฅผ ์ ์ํฉ๋๋ค.
|
31 |
url_input1 = gr.Text(label="URL 1", placeholder="์ ์ํ ์ฒซ ๋ฒ์งธ URL์ ์
๋ ฅํ์ธ์")
|
32 |
url_input2 = gr.Text(label="URL 2", placeholder="์ ์ํ ๋ ๋ฒ์งธ URL์ ์
๋ ฅํ์ธ์")
|
|
|
40 |
url_input10 = gr.Text(label="URL 10", placeholder="์ ์ํ ์ด ๋ฒ์งธ URL์ ์
๋ ฅํ์ธ์")
|
41 |
interval_input = gr.Slider(minimum=1, maximum=60, step=1, value=5, label="์ ์ ์ฃผ๊ธฐ(๋ถ)")
|
42 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
43 |
# Gradio ์ฑ ์ค์
|
44 |
app = gr.Interface(
|
45 |
fn=setup_timer,
|
46 |
+
inputs=[url_input1, url_input2, url_input3, url_input4, url_input5, url_input6, url_input7, url_input8, url_input9, url_input10, interval_input],
|
47 |
outputs="text",
|
48 |
title="URL ์ ์ ์ฒด์ปค",
|
49 |
description="์ฌ์ฏ ๊ฐ์ URL๊ณผ ์ ์ ์ฃผ๊ธฐ๋ฅผ ์
๋ ฅํ๊ณ '์์' ๋ฒํผ์ ํด๋ฆญํ์ธ์. ์ง์ ๋ ์ฃผ๊ธฐ๋ก HTTP ์ํ ์ฝ๋ ๋ฐ ์ ์ ์ํ๋ฅผ ํ์ธํฉ๋๋ค.",
|
|
|
52 |
],
|
53 |
cache_examples=False # ์บ์ ๋นํ์ฑํ
|
54 |
)
|
55 |
+
app.launch()
|