stop_dev.sh

#!/bin/bash
# Script to stop the development environment

echo "Stopping development containers..."
docker stop omnisealbench-frontend-dev omnisealbench-backend-dev 2>/dev/null || true

echo "Removing development containers..."
docker rm omnisealbench-frontend-dev omnisealbench-backend-dev 2>/dev/null || true

# Remove the network
docker network rm omnisealbench-network 2>/dev/null || true

echo "Development environment stopped."