Added pid file writing.
1.1 --- a/server.py Mon Feb 20 15:40:08 2012 +0100
1.2 +++ b/server.py Mon Feb 20 23:41:50 2012 +0100
1.3 @@ -35,14 +35,18 @@
1.4 parser.add_argument('-l', default='log/server.log', help='log file')
1.5 parser.add_argument('-w', default='data/names', help='word database')
1.6 parser.add_argument('-d', default='httpdocs', help='http docs path')
1.7 + parser.add_argument('--pid', default=None, help='pid file')
1.8 return parser.parse_args()
1.9
1.10
1.11 -def main():
1.12 +def main():
1.13 args = parse_args()
1.14 logging.basicConfig(filename=args.l, level=logging.DEBUG,
1.15 format='[%(levelname)s@%(asctime)s] %(message)s',
1.16 datefmt='%d.%m.%Y %I:%M:%S')
1.17 + if args.pid:
1.18 + with open(args.pid, 'w') as f:
1.19 + f.write(str(os.getpid()))
1.20 db = Database(args.w)
1.21 server = Server(args.a, args.p, args.d, db, GetHandler)
1.22 server.run()