mirror of https://github.com/zulip/zulip.git
30 lines
634 B
Python
Executable File
30 lines
634 B
Python
Executable File
#!/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")
|