zulip/tools/stop-run-dev

30 lines
634 B
Plaintext
Raw Normal View History

#!/usr/bin/env python3
import os
import signal
import sys
os.chdir(os.path.join(os.path.dirname(__file__), ".."))
pid_file_path = os.path.join(os.path.join(os.getcwd(), "var/run/run_dev.pid"))
try:
with open(pid_file_path) as pid_file:
try:
pid = int(pid_file.read())
except ValueError:
print("PID value is not an integer!")
sys.exit(1)
except Exception as e:
print("PID file can't be opened!")
print(e)
sys.exit(1)
# Kill development server process group.
try:
os.killpg(pid, signal.SIGTERM)
except OSError as e:
print(e)
sys.exit(1)
print("Done")