egutierrez
6858a5f13e
Se separan los scripts de gestión en dos categorías claras: - dev-scripts/server/ — operaciones del launcher (start, stop, restart, ps, logs, dashboard) - dev-scripts/agent/ — operaciones de agentes (new, register, verify, avatar, remove, list) Se añade create-full.sh como script unificado que ejecuta scaffold + build + register + verify. Se incluyen READMEs en cada subdirectorio documentando los scripts disponibles. Los scripts originales en la raíz de dev-scripts/ se eliminan. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
33 lines
673 B
Bash
Executable File
33 lines
673 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# stop.sh — detiene el launcher unificado
|
|
#
|
|
# Uso:
|
|
# ./dev-scripts/server/stop.sh
|
|
|
|
source "$(dirname "$0")/../_common.sh"
|
|
|
|
if ! is_launcher_running; then
|
|
dim " El launcher no está corriendo."
|
|
exit 0
|
|
fi
|
|
|
|
pid="$(read_launcher_pid)"
|
|
info "Deteniendo launcher (PID $pid)..."
|
|
|
|
kill -TERM "$pid" 2>/dev/null || true
|
|
|
|
# Wait up to 5s for graceful shutdown
|
|
for _ in {1..10}; do
|
|
kill -0 "$pid" 2>/dev/null || break
|
|
sleep 0.5
|
|
done
|
|
|
|
# SIGKILL if still alive
|
|
if kill -0 "$pid" 2>/dev/null; then
|
|
warn "Launcher no respondió a SIGTERM, enviando SIGKILL..."
|
|
kill -9 "$pid" 2>/dev/null || true
|
|
fi
|
|
|
|
rm -f "$(launcher_pid_file)"
|
|
ok "Launcher detenido"
|