Delete restart.sh

2026-04-20 00:53:28 -04:00
parent 3e8c2ca097
commit 67adca4d4f
1 changed files with 0 additions and 17 deletions
@@ -1,17 +0,0 @@
 #!/bin/bash
 sleep 2
 # Save current process PID
 PID=$1
 # Gracefully stop the current server
 kill "$PID"
 # Wait until it exits
 while kill -0 "$PID" 2>/dev/null; do
    sleep 0.5
 done
 # Restart with the same interpreter and script
 export PRODUCTION=true
 exec "$2" "$3"