MichaelWelsch commited on
Commit
54720f8
·
verified ·
1 Parent(s): b7828ba

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +13 -1
app.py CHANGED
@@ -1,3 +1,13 @@
 
 
 
 
 
 
 
 
 
 
1
  import json
2
  import math
3
  import os
@@ -771,4 +781,6 @@ def build_ui():
771
  return demo
772
 
773
  if __name__ == "__main__":
774
- demo.launch()
 
 
 
1
+ """
2
+ Gradio UI (robust gegen kurzzeitigen Browser-Verbindungsverlust):
3
+ - Startet einen Hintergrund-Job und speichert Status/Progress/Ergebnisse per job_id.
4
+ - UI pollt den Status (Button „Aktualisieren“), kein Streaming/Yield mehr.
5
+
6
+ Run:
7
+ pip install gradio requests
8
+ python app.py
9
+ """
10
+
11
  import json
12
  import math
13
  import os
 
781
  return demo
782
 
783
  if __name__ == "__main__":
784
+ app = build_ui()
785
+ # Du kannst server_name="0.0.0.0" setzen, wenn du LAN-Zugriff brauchst
786
+ app.launch(share=True, debug=True)