# HG changeset patch
# User Eugen Sawin <sawine@me73.com>
# Date 1329777710 -3600
# Node ID b25c62d210f50f001321d49967fc13db32b2e269
# Parent  962dd7efaa05b40b982bead4e176642ff7006d31
Added pid file writing.

diff -r 962dd7efaa05 -r b25c62d210f5 server.py
--- a/server.py	Mon Feb 20 15:40:08 2012 +0100
+++ b/server.py	Mon Feb 20 23:41:50 2012 +0100
@@ -35,14 +35,18 @@
     parser.add_argument('-l', default='log/server.log', help='log file')
     parser.add_argument('-w', default='data/names', help='word database')
     parser.add_argument('-d', default='httpdocs', help='http docs path')
+    parser.add_argument('--pid', default=None, help='pid file')
     return parser.parse_args()	
 
 
-def main():        
+def main():       
     args = parse_args()
     logging.basicConfig(filename=args.l, level=logging.DEBUG,
                         format='[%(levelname)s@%(asctime)s] %(message)s',
                         datefmt='%d.%m.%Y %I:%M:%S')
+    if args.pid:
+        with open(args.pid, 'w') as f:
+            f.write(str(os.getpid()))
     db = Database(args.w)
     server = Server(args.a, args.p, args.d, db, GetHandler)
     server.run()