Better UI for both Desktop and Mobile
This commit is contained in:
+17
@@ -0,0 +1,17 @@
|
||||
#!/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"
|
||||
Reference in New Issue
Block a user