← Back to branch summary

~loggerhead-team/loggerhead/trunk-rich

« back to all changes in this revision

Viewing changes to stop-loggerhead

  • Committer: Martin Albisetti
  • Date: 2008-07-26 17:26:48 UTC
  • mfrom: (183.1.2 trunk)
  • Revision ID: argentina@gmail.com-20080726172648-gkdezluwzckfx687
 * Add start/stop scripts to setup, including serve-branches (Jelmer Vernooij)
 * Removed extension fro serve-branches for compatibility with Debian Policy
 * Added help files for start-loggerhead and stop-loggerhead (Jelmer Vernooij)

Show diffs side-by-side

added added

removed removed

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