Update entrypoint.sh

entrypoint.sh

@@ -1 +1,25 @@
-make -C robot-server dev && python main.py
+#!/usr/bin/env bash
+set -euo pipefail
+
+# (任意) venv を使っているなら有効化
+if [ -f "/home/user/app/.venv/bin/activate" ]; then
+  source /home/user/app/.venv/bin/activate
+fi
+
+# HF Spaces / Gradio の公開設定（超重要）
+export GRADIO_SERVER_NAME="${GRADIO_SERVER_NAME:-0.0.0.0}"
+export GRADIO_SERVER_PORT="${GRADIO_SERVER_PORT:-7860}"
+export PORT="${PORT:-7860}"
+
+# robot-server を使うなら起動（devが永遠に走るならバックグラウンド化）
+if [ -d "/root/opentrons/robot-server" ]; then
+  echo "[entrypoint] starting robot-server..."
+  # dev が foreground で張り付く想定なのでバックグラウンドに回す
+  (cd /root/opentrons && make -C robot-server dev) &
+  ROBOT_SERVER_PID=$!
+  echo "[entrypoint] robot-server pid=${ROBOT_SERVER_PID}"
+fi
+
+# ここで Gradio/HTTP をフォアグラウンドで起動（exec が重要）
+echo "[entrypoint] starting main app..."
+exec python /home/user/app/main.py