anonpenguin23 a72aebc1fe
feat: add script for graceful shutdown and process cleanup
- Introduced a new script `dev-kill-all.sh` to handle graceful shutdown of development processes and cleanup of stale PID files.
- Updated Makefile to include a `kill` command that utilizes the new script for improved process management.
- Enhanced the shutdown process to verify that required ports are free after termination of processes.
2025-11-10 08:29:34 +02:00
..
2025-11-09 18:30:03 +02:00
2025-11-09 18:30:03 +02:00
2025-11-09 19:20:08 +02:00
2025-11-09 19:20:08 +02:00