mirror of https://github.com/zulip/zulip.git
31 lines
676 B
Plaintext
31 lines
676 B
Plaintext
|
#!/usr/bin/env python
|
||
|
|
from __future__ import print_function
|
||
|
|
|
||
|
|
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, 'r') 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")
|