← 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: 2007-01-14 23:46:10 UTC
  • Revision ID: robey@lag.net-20070114234610-z3cn5j8eky0vqsg3
add a decorator to strip the whitespace from the generated html in the big
pages.  (kid theoretically can do this on its own, but it's not hooked up
from turbogears, and even if it was, it doesn't seem to work on html.)
removing whitespace appears to trim a good 20-30% from the generated pages,
so may help a lot for slow links.  in combination with the trimmed-down
javascript names, some of the worst offenders (revisions with gigantic
diffs) are now nearly half the size they were a few days ago.

Show diffs side-by-side

added added

removed removed

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