#!/bin/bash
#
# Stop Hugging Face TEI Docker service.
#
set -euo pipefail

TEI_CONTAINER_NAME="${TEI_CONTAINER_NAME:-saas-search-tei}"

if ! command -v docker >/dev/null 2>&1; then
  echo "ERROR: docker is required." >&2
  exit 1
fi

running_id="$(docker ps -q -f name=^/${TEI_CONTAINER_NAME}$)"
if [[ -z "${running_id}" ]]; then
  echo "TEI container is not running: ${TEI_CONTAINER_NAME}"
  exit 0
fi

docker stop "${TEI_CONTAINER_NAME}" >/dev/null
docker rm "${TEI_CONTAINER_NAME}" >/dev/null
echo "Stopped TEI container: ${TEI_CONTAINER_NAME}"