~loggerhead-team/loggerhead/trunk-rich

« back to all changes in this revision

Viewing changes to stop-loggerhead

  • Committer: Martin Albisetti
  • Author(s): Matteo Settenvini
  • Date: 2008-08-05 15:20:41 UTC
  • mfrom: (181.2.4 setup)
  • Revision ID: argentina@gmail.com-20080805152041-2b1x7vyqt8v9675n
Fix remaining problem with setup

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
#!/usr/bin/env python
 
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."""
 
17
 
 
18
import os
 
19
import sys
 
20
 
 
21
home = os.path.realpath(os.path.dirname(__file__))
 
22
pidfile = os.path.join(home, 'loggerhead.pid')
 
23
 
 
24
try:
 
25
    f = open(pidfile, 'r')
 
26
except IOError, e:
 
27
    print 'No pid file found.'
 
28
    sys.exit(1)
 
29
 
 
30
pid = int(f.readline())
 
31
 
 
32
try:
 
33
    os.kill(pid, 0)
 
34
except OSError, e:
 
35
    print 'Stale pid file; server is not running.'
 
36
    sys.exit(1)
 
37
 
 
38
print
 
39
print 'Shutting down previous server @ pid %d.' % (pid,)
 
40
print
 
41
 
 
42
import signal
 
43
os.kill(pid, signal.SIGINT)