From 00f25e43c7babc11c885f88368291c368336b5c3 Mon Sep 17 00:00:00 2001
From: Georges Khaznadar <georgesk@debian.org>
Date: Thu, 31 Oct 2019 16:43:17 +0100
Subject: [PATCH] allow a parameter to change the port of the server

---
 scripts/boxesserver | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/scripts/boxesserver b/scripts/boxesserver
index aa3693e..0138ce9 100755
--- a/scripts/boxesserver
+++ b/scripts/boxesserver
@@ -517,11 +517,15 @@ class BServer:
             return (l.encode("utf-8") for l in result)
 
 if __name__=="__main__":
+    if len(sys.argv) > 1:
+        port = int(sys.argv[1])
+    else:
+        port = 8000
     fc = FileChecker()
     fc.start()
     boxserver = BServer()
-    httpd = make_server('', 8000, boxserver.serve)
-    print("Serving on port 8000...")
+    httpd = make_server('', port, boxserver.serve)
+    print("BoxesServer serving on port %s..." %port)
     httpd.serve_forever()
 else:
     application = BServer().serve