bug: 🐛 Gradio ne fonctionne pas avec Coder et le forward de ports

[philippart-s]

Les applications Gradio ne fonctionnent pas avec le forward de port Coder.

L'état depuis Coder:

Ce que cela devrait être:

Non seulement le style saute mais j'ai une erreur de connection (je ne sais pas trop de quoi il parte).

[philippart-s]

une piste qui est peut être bête : tester avec streamlit pour voir si le tunnel ssh pose pb avec les composants graphiques générés 🤔

[philippart-s]

j'ai un premier plan de secours : générer une URL via Gradio en ajoutant share=True dans le demo.launch()

[philippart-s]

Pour l'erreur CSS il y a bien un truc qui se passe mal :

[philippart-s]

Fait intéressant, cela fonctionne en mode Desktop

[titimoby]

Lorsqu'une application utilise un port, Coder fournit une url avec un reverse proxy derrière, du genre https:///proxy/<numéro de port>
Gradio respecte ces appels, sauf pour 2 fichiers de css où la ressource appelée utilise une URL comme en local.

J'ai fait un POC avec Streamlit dans la PR devrel-workshop/101-AI-Enpoints#46 qui fonctionne mais nécessiterai de tout réécrire.
Après discussion, restons sur Gradio avec le paramètre share=True qui permet d'avoir un hosting temporaire par live.gradio qui fonctionne.

[philippart-s]

il est possible de le faire fonctionner en rajoutant 'root_path="/@stephane/sunny-01.main/apps/code-server/proxy/7860/"' sur le launch mais idéalement il faudrait récupérer dynamiquement l'URL.

La variable VSCODE_PROXY_URI contient https://workshop.labdevrel.ovh/@stephane/sunny-01.main/apps/code-server/proxy/{{port}}/, on peut donc l'utiliser et remplacer le {{port}} par le port par défaut de Gradio 7860