← Back to branch summary

~loggerhead-team/loggerhead/trunk-rich

« back to all changes in this revision

Viewing changes to stop-loggerhead

  • Committer: Jelmer Vernooij
  • Date: 2008-08-06 18:33:20 UTC
  • mto: (197.1.9 pathargs)
  • mto: This revision was merged to the branch mainline in revision 202.
  • Revision ID: jelmer@samba.org-20080806183320-6llann0k480dlb9y
add --log-folder option.

Show diffs side-by-side

added added

removed removed

Lines of Context:
stop-loggerhead
 
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)