← 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-09-04 17:06:03 UTC
  • mto: (140.2.1 merge-robey)
  • mto: This revision was merged to the branch mainline in revision 142.
  • Revision ID: robey@lag.net-20070904170603-58307k9mqq24zf99
i can't decide on a decent default date format, so i'm punting on it:
unify all date displays to call format_date(), and have that configurable.
the default display is 'fancy', meaning '23 Aug 12:34' for recent dates,
and '23 Aug 2006' for old dates.  any other config value is treated as
the strftime format string.

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)