mirror/gradio
2
0
Fork 0
mirror of https://github.com/gradio-app/gradio.git synced 2025-01-18 10:44:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

fixing demo issue with website (#1047)

Browse Source
This commit is contained in:
Ali Abdalla 2022-04-21 02:06:51 +02:00 committed by GitHub
parent 161a7a8472
commit 84cdcf3647
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
website/upload_notebooks/run.py
View File

@ -44,7 +44,8 @@ def run():
) )
demo_folder_file.Upload() demo_folder_file.Upload()
demo_folder = demo_folder_file.metadata["id"] demo_folder = demo_folder_file.metadata["id"]
for demo_name in os.listdir(GRADIO_DEMO_DIR): for demo_name in [demo_dir for demo_dir in os.listdir(GRADIO_DEMO_DIR)
if os.path.isdir(os.path.join(GRADIO_DEMO_DIR, demo_dir))]:
notebook_title = demo_name + ".ipynb" notebook_title = demo_name + ".ipynb"
print("--- " + demo_name + " ---") print("--- " + demo_name + " ---")
with open(os.path.join(GRADIO_DEMO_DIR, demo_name, "run.py")) as demo_file: with open(os.path.join(GRADIO_DEMO_DIR, demo_name, "run.py")) as demo_file: