Define the server listen port as a variable.

Change-Id: Ia6360c21ca55a283b320588ddf05a77bad7c2515

1 files changed, 5 insertions, 1 deletions

diff --git a/app/server.py b/app/server.py
index 4b3cf26..8d17db1 100755
--- a/app/server.py
+++ b/app/server.py
@@ -42,6 +42,10 @@ topt.define(
 topt.define("gzip", default=True)
 topt.define("debug", default=True)
 topt.define("autoreload", default=True)
+topt.define(
+    "port", default=8888, type=int,
+    help="The port number where the server should listen"
+)
 
 # mongodb connection parameters.
 topt.define(
@@ -152,6 +156,6 @@ if __name__ == "__main__":
             "/tmp/kernelci-backend.socket")
         server.add_socket(unix_socket)
     else:
-        KernelCiBackend().listen(8888, **HTTP_SETTINGS)
+        KernelCiBackend().listen(topt.options.port, **HTTP_SETTINGS)
 
     tornado.ioloop.IOLoop.instance().start()