- report startup bind error nicely (with host:port address)

Changed files:
    PLD_Builder/request_handler_server.py -> 1.10

diff --git a/PLD_Builder/request_handler_server.py b/PLD_Builder/request_handler_server.py
index b40834196d265863360289fc43b13bee64a5693f..b4f759c773aba184c600b0589e39a7fc667b6117 100644 (file)
--- a/PLD_Builder/request_handler_server.py
+++ b/PLD_Builder/request_handler_server.py
@@ -5,6 +5,7 @@ import string
 import cgi
 import time
 import log
+import sys
 from config import config, init_conf
 
 from os import curdir, sep
@@ -55,7 +56,13 @@ def main():
                host = ""
                port = config.request_handler_server_port
 
-               server = HTTPServer((host, port), MyHandler)
+               try:
+                       server = HTTPServer((host, port), MyHandler)
+               except Exception, e:
+                       log.notice("request_handler_server: can't start server on [%s:%d]: %s" % (host, port, e))
+                       print >> sys.stderr, "ERROR: Can't start server on [%s:%d]: %s" % (host, port, e)
+                       sys.exit(1)
+
                log.notice('request_handler_server: started on [%s:%d]...' % (host, port))
                server.serve_forever()
        except KeyboardInterrupt: