#!/bin/bash
# Auto-generated stop script for flag-red71

docker_cmd="docker"
if ! docker ps >/dev/null 2>&1; then
    if sudo docker ps >/dev/null 2>&1; then
        docker_cmd="sudo docker"
    fi
fi

echo "Stopping and removing flag-red71..."
$docker_cmd stop flag-red71
$docker_cmd rm flag-red71
echo "✅ flag-red71 stopped and removed."
