← Back to branch summary

~loggerhead-team/loggerhead/trunk-rich

« back to all changes in this revision

Viewing changes to stop-loggerhead.py

  • Committer: Robey Pointer
  • Date: 2006-12-20 03:05:27 UTC
  • Revision ID: robey@lag.net-20061220030527-h9fh8fztifgne8q7
slowly moving the branch-specific stuff into a common structure...
the changes cache is now its own class (ChangeCache) like TextIndex, and
both are fields in History.  almost all of the cache rebuilding logic, etc,
has been moved there and out of __init__.

Show diffs side-by-side

added added

removed removed

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