virtuoso_mcp/restart.sh

#!/usr/bin/env bash
set -euo pipefail

SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
cd "$SCRIPT_DIR"

./killserver.sh >/dev/null 2>&1 || true
./run.sh