161
by Michael Hudson
don't insist on python 2.4 |
1 |
#!/usr/bin/env python
|
183.2.1
by John Arbash Meinel
Add Copyright information to most files. |
2 |
# This program is free software; you can redistribute it and/or modify
|
3 |
# it under the terms of the GNU General Public License as published by
|
|
4 |
# the Free Software Foundation; either version 2 of the License, or
|
|
5 |
# (at your option) any later version.
|
|
6 |
#
|
|
7 |
# This program is distributed in the hope that it will be useful,
|
|
8 |
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
9 |
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
10 |
# GNU General Public License for more details.
|
|
11 |
#
|
|
12 |
# You should have received a copy of the GNU General Public License
|
|
13 |
# along with this program; if not, write to the Free Software
|
|
14 |
# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
|
15 |
||
16 |
"""A script for stopping the loggerhead process."""
|
|
89
by Robey Pointer
fix up dev.cfg so that nobody will ever have to edit it, by letting the |
17 |
|
18 |
import pkg_resources |
|
19 |
pkg_resources.require("TurboGears") |
|
20 |
||
21 |
import os |
|
22 |
import sys |
|
23 |
||
24 |
home = os.path.realpath(os.path.dirname(__file__)) |
|
25 |
pidfile = os.path.join(home, 'loggerhead.pid') |
|
26 |
||
27 |
try: |
|
28 |
f = open(pidfile, 'r') |
|
29 |
except IOError, e: |
|
30 |
print 'No pid file found.' |
|
31 |
sys.exit(1) |
|
32 |
||
33 |
pid = int(f.readline()) |
|
34 |
||
35 |
try: |
|
36 |
os.kill(pid, 0) |
|
37 |
except OSError, e: |
|
38 |
print 'Stale pid file; server is not running.' |
|
39 |
sys.exit(1) |
|
40 |
||
41 |
print
|
|
104
by Robey Pointer
fix silly typo. |
42 |
print 'Shutting down previous server @ pid %d.' % (pid,) |
89
by Robey Pointer
fix up dev.cfg so that nobody will ever have to edit it, by letting the |
43 |
print
|
44 |
||
45 |
import signal |
|
46 |
os.kill(pid, signal.SIGINT) |