~loggerhead-team/loggerhead/trunk-rich

« back to all changes in this revision

Viewing changes to stop-loggerhead.py

  • Committer: Martin Albisetti
  • Date: 2008-06-19 16:35:15 UTC
  • mto: (157.1.3 loggerhead)
  • mto: This revision was merged to the branch mainline in revision 187.
  • Revision ID: argentina@gmail.com-20080619163515-afe879s0tqwrcrgd
 * Add new images and CSS for diff/revision view
 * Tweak global css

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
#!/usr/bin/env python
 
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 previous server @ pid %d.' % (pid,)
 
28
print
 
29
 
 
30
import signal
 
31
os.kill(pid, signal.SIGINT)