|
89
by Robey Pointer
fix up dev.cfg so that nobody will ever have to edit it, by letting the |
1 |
#!/usr/bin/env python2.4
|
2 |
||
3 |
import pkg_resources |
|
4 |
pkg_resources.require("TurboGears") |
|
5 |
||
6 |
import os |
|
7 |
import sys |
|
8 |
||
9 |
home = os.path.realpath(os.path.dirname(__file__)) |
|
10 |
pidfile = os.path.join(home, 'loggerhead.pid') |
|
11 |
||
12 |
try: |
|
13 |
f = open(pidfile, 'r') |
|
14 |
except IOError, e: |
|
15 |
print 'No pid file found.' |
|
16 |
sys.exit(1) |
|
17 |
||
18 |
pid = int(f.readline()) |
|
19 |
||
20 |
try: |
|
21 |
os.kill(pid, 0) |
|
22 |
except OSError, e: |
|
23 |
print 'Stale pid file; server is not running.' |
|
24 |
sys.exit(1) |
|
25 |
||
26 |
print
|
|
|
104
by Robey Pointer
fix silly typo. |
27 |
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 |
28 |
print
|
29 |
||
30 |
import signal |
|
31 |
os.kill(pid, signal.SIGINT) |