mirror of
https://github.com/gradio-app/gradio.git
synced 2024-12-21 02:19:59 +08:00
shortened colab delay to 1s
This commit is contained in:
parent
88fd0d71db
commit
4864560586
@ -306,7 +306,7 @@ class Interface:
|
|||||||
is_colab
|
is_colab
|
||||||
): # Embed the remote interface page if on google colab;
|
): # Embed the remote interface page if on google colab;
|
||||||
# otherwise, embed the local page.
|
# otherwise, embed the local page.
|
||||||
time.sleep(5)
|
time.sleep(1)
|
||||||
display(IFrame(share_url, width=1000, height=500))
|
display(IFrame(share_url, width=1000, height=500))
|
||||||
else:
|
else:
|
||||||
display(IFrame(path_to_local_server, width=1000, height=500))
|
display(IFrame(path_to_local_server, width=1000, height=500))
|
||||||
|
Loading…
Reference in New Issue
Block a user