← Back to branch summary

~loggerhead-team/loggerhead/trunk-rich

« back to all changes in this revision

Viewing changes to stop-loggerhead

  • Committer: Robey Pointer
  • Date: 2006-12-14 03:00:10 UTC
  • Revision ID: robey@lag.net-20061214030010-amia4mec3ydygjgk
add a timed event to fill in the revision cache, so that after running for
a little while, most page loads should be fast.  fix up some of the mechanism
around the history cache, so that it notices when the branch has been
updated, and reloads (and recomputes) the graph cache.

add branch nicks to the merged-in, merged-from listings.

add next/prev navbar to the bottom of the revision page.

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)