~loggerhead-team/loggerhead/trunk-rich

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
27
print 'Shutting down previus server @ pid %d.' % (pid,)
28
print
29
30
import signal
31
os.kill(pid, signal.SIGINT)