~loggerhead-team/loggerhead/trunk-rich

« back to all changes in this revision

Viewing changes to stop-loggerhead

  • Committer: Michael Hudson-Doyle
  • Date: 2012-01-08 21:48:52 UTC
  • mto: This revision was merged to the branch mainline in revision 462.
  • Revision ID: michael.hudson@linaro.org-20120108214852-dm8iieeeb5s1l11n
remove file_id from the set of query arguments that context_url preserves

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)