← Back to branch summary

~loggerhead-team/loggerhead/trunk-rich

« back to all changes in this revision

Viewing changes to stop-loggerhead.py

  • Committer: John Arbash Meinel
  • Date: 2011-03-15 10:24:40 UTC
  • mfrom: (432.1.3 loggerhead)
  • Revision ID: john@arbash-meinel.com-20110315102440-n4zr988738z125cd
Merge fix for bug #569358. Redirect requests so people can URL hack.

If you edit /files/directory to become /files/directory/filename, redirect it to
the /view/directory/filename, and conversly if you go to /view/directory redirect
it to /files/directory. This way people can edit the URL in a logical way
and still get the view they are expecting.

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 previous server @ pid %d.' % (pid,)
28
 
print
29
 
 
30
 
import signal
31
 
os.kill(pid, signal.SIGINT)