back to using 9200, 8080 might be reserved

Dockerfile

@@ -28,4 +28,4 @@ RUN pip install --no-cache-dir "." \
 RUN pip install --no-cache-dir flask
 
 COPY --chown=user . /lerobot
-CMD ["python", "lerobot/scripts/visualize_dataset_html.py", "--repo-id", "lerobot/koch_pick_place_lego_simple_v2", "--port", "8080", "--output-dir", "/tmp/outputs/visualize_dataset_html/lerobot/koch_pick_place_lego_simple_v2"]
+CMD ["python", "lerobot/scripts/visualize_dataset_html.py", "--repo-id", "lerobot/koch_pick_place_lego_simple_v2", "--port", "9200", "--output-dir", "/tmp/outputs/visualize_dataset_html/lerobot/koch_pick_place_lego_simple_v2"]

README.md

@@ -4,7 +4,7 @@ emoji: 💻
 colorFrom: blue
 colorTo: green
 sdk: docker
-app_port: 8080
+app_port: 9200
 pinned: false
 license: apache-2.0
 ---