Spaces:
Runtime error
Runtime error
Rename health_check.py to health_check_gradio.py
Browse files- health_check.py +0 -27
- health_check_gradio.py +6 -0
health_check.py
DELETED
@@ -1,27 +0,0 @@
|
|
1 |
-
import sys
|
2 |
-
from http.server import BaseHTTPRequestHandler, HTTPServer
|
3 |
-
|
4 |
-
class S(BaseHTTPRequestHandler):
|
5 |
-
def _set_headers(self):
|
6 |
-
self.send_response(200)
|
7 |
-
self.send_header('Content-type', 'application/json')
|
8 |
-
self.end_headers()
|
9 |
-
|
10 |
-
def do_GET(self):
|
11 |
-
self._set_headers()
|
12 |
-
self.wfile.write(b"")
|
13 |
-
|
14 |
-
def run_dummy_server(server_class=HTTPServer, handler_class=S, port=7860):
|
15 |
-
server_address = ('', port)
|
16 |
-
httpd = server_class(server_address, handler_class)
|
17 |
-
print('Starting httpd...')
|
18 |
-
httpd.serve_forever()
|
19 |
-
|
20 |
-
run_dummy_server()
|
21 |
-
|
22 |
-
#import gradio as gr
|
23 |
-
|
24 |
-
#with gr.Blocks() as demo:
|
25 |
-
# gr.Markdown("# Hello World")
|
26 |
-
|
27 |
-
#demo.launch()
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
health_check_gradio.py
ADDED
@@ -0,0 +1,6 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
+
import gradio as gr
|
2 |
+
|
3 |
+
with gr.Blocks() as demo:
|
4 |
+
gr.Markdown("# Hello World")
|
5 |
+
|
6 |
+
demo.launch()
|