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()