Spaces:
Paused
Paused
Update app.py
Browse files
app.py
CHANGED
|
@@ -2017,15 +2017,15 @@ def sitemap():
|
|
| 2017 |
media_type="application/xml"
|
| 2018 |
)
|
| 2019 |
|
| 2020 |
-
app = gr.mount_gradio_app(app, demo, path="/")
|
| 2021 |
-
|
| 2022 |
if __name__ == "__main__":
|
| 2023 |
-
|
| 2024 |
-
|
| 2025 |
-
|
| 2026 |
-
|
| 2027 |
-
|
| 2028 |
-
|
| 2029 |
-
|
| 2030 |
-
|
|
|
|
|
|
|
| 2031 |
)
|
|
|
|
| 2017 |
media_type="application/xml"
|
| 2018 |
)
|
| 2019 |
|
|
|
|
|
|
|
| 2020 |
if __name__ == "__main__":
|
| 2021 |
+
port = int(os.environ.get("PORT", 7860))
|
| 2022 |
+
|
| 2023 |
+
demo.launch(
|
| 2024 |
+
server_name="0.0.0.0",
|
| 2025 |
+
server_port=port,
|
| 2026 |
+
ssr_mode=False,
|
| 2027 |
+
theme=gr.themes.Base(),
|
| 2028 |
+
css=CSS,
|
| 2029 |
+
head=SOCIAL_META,
|
| 2030 |
+
footer_links=[],
|
| 2031 |
)
|