- move request_server port to config

[projects/pld-builder.new.git] / PLD_Builder / request_handler_server.py

diff --git a/PLD_Builder/request_handler_server.py b/PLD_Builder/request_handler_server.py
index b429ef40ec91558cca74bf1813d935aa48e330b3..b60ee0fcbff256d6fd488b929adc4a3ee92430d0 100644 (file)
--- a/PLD_Builder/request_handler_server.py
+++ b/PLD_Builder/request_handler_server.py
@@ -1,13 +1,10 @@
 #!/usr/bin/python
 
-host = ""
-port = 1234
-
-
 import string
 import cgi
 import time
 import StringIO
+from config import config, init_conf
 
 from os import curdir, sep
 from BaseHTTPServer import BaseHTTPRequestHandler, HTTPServer
@@ -52,8 +49,12 @@ class MyHandler(BaseHTTPRequestHandler):
 
 def main():
        try:
+               init_conf()
+               host = ""
+               port = config.request_handler_server_port
+
                server = HTTPServer((host, port), MyHandler)
-               print 'started httpserver...'
+               print 'started httpserver on :%d...' % port
                server.serve_forever()
        except KeyboardInterrupt:
                print '^C received, shutting down server'