~loggerhead-team/loggerhead/trunk-rich

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)